Moi j'ai eu du lambda-calculus et j'aime bien. On a principalement utilisé ça pour aborder la théorie des types. J'ai également eu des leçons de lambda-calculus en programmation fonctionnelle, mais je n'ai pas véritablement compris le but... Par contre lorsqu'il s'agit de théorie des types j'estime que c'est inévitable ;-) J'adore !
disons que l'approche lambda-calcul n'est pas indispensable pour du typage... même si beaucoup passent par l'analogie du lambda-calcul typé type theory can refer to the design, analysis and study of type systems, although some computer scientists limit the term's meaning to the study of abstract formalisms such as typed λ-calculi. prenons l'exemple de ce qu'on appelle System F... a-t-il été conçu à l'origine sur le modèle d'un lambda calcul d'ordre 2, ou est-il seulement enseigné de cette manière aujourd'hui ?
