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 terminaison obligatoire des algorithmes.
Cette propriété m'intrigue et je cherche a comprendre comment cette propriété peut être assuré. Malheureusement, je n'arrive pas à trouver d'explication simple sur Internet (je connais très peu les langages fonctionnels).
Quelqu'un serait comment cette propriété peut être assuré ?
Merci pour votre aide.
Partager