Thomas🪴 on Mythryl: “J'ai publié un petit article sur le lambda-calcul, si ça intéresse…”

J'ai publié un petit article sur le lambda-calcul, si ça intéresse des gens ! (pour les plus utilitaristes, on y trouvera quelques références au noyau de Lean :-) ) blog.lipsum.dev/2026-09-26-l...

blog.lipsum.devSyntaxe, sémantique et lambda-calculLe lambda-calcul peut être vu comme un modèle de calcul théorique, comme un langage de programmation ésotérique, ou comme fondement pour des langages fonctionnels comme Haskell, OCaml ou Lean. Je vous...

26/9/26, 2:02 pm1 repost2 likes

Post