Théorie des Types
Les mathématiques sont un monde passionnant mais parfois quelque peu complexe à appréhender à l’image du lambda calcul que je vous ai présenté dans mon dernier article. Que dire alors de la théorie des types que j’aborde dans cet article-ci ? Comme nous le verrons ci-après, il n’existe pas une mais plusieurs théories des types. Laissez-vous plonger dans l’univers des types à travers de nombreux exemples et cas d’application qui vous permettront de mieux comprendre le concept.
Lire la suite