En fait, ce n'est pas vraiment un language, c'est une théorie mathématique. Il y a différentes façons de faire des maths. la façon usuelle, qui date en gros du début du 20e siècle, est ensembliste. Le lambda calcul est une construction fonctionnelle.
En informatique, deux branches sont plus particulièrement utilisées : les mathématiques constructivistes (ensembliste, mais on enlève - quand on peut - les axiomes les plus génants, voire certaines constructions logiques - tiers exclu) et le lambda-calcul (et ses conséquences, les languages fonctionnels).
# Re: Lambda calcul
Posté par mickabouille . En réponse au journal Lambda calcul. Évalué à 2.
En informatique, deux branches sont plus particulièrement utilisées : les mathématiques constructivistes (ensembliste, mais on enlève - quand on peut - les axiomes les plus génants, voire certaines constructions logiques - tiers exclu) et le lambda-calcul (et ses conséquences, les languages fonctionnels).