Salut a tous
je suis novice en programmation fonctionnelle et pour l'exercice ci-dessous
J'ai essayer le 1. en écrivant cecicomme exemple de termes clos mais apparemment je suis complètement a coté alors j’espère si on peut m'aider pour cet exerciceCode:λx.x
merci !!!
Pour chacun des types suivants, donner un terme clos (sans variable libre) de ce type.
1. A → A
2. (A → A) → (A → A)
3. A → ((A → B) → B).