Recherche:

Une approche pratique des System F peut être sympa et plus simple dans un premier temps, merci pour le lien :D

Merci beaucoup pour ces explications bluestorm, j'ai enfin compris l'idée de pourquoi la terminaison est assurée avec le lambda calcule simplement typé :D

Je comprends également mieux pourquoi le...

Bonjour,

Ça fait un petit moment que je m'intéresse au langage fonctionnel et plus précisément au lambda-calcul.
Un grand avantage du lambda-calcul simplement typé (souvent mis en avant) est la...