Church n'est pas un théoricien, c'est un mathématicien. Il s'est attaqué avec quelques succès à la question de la définition de l'algorithmique et de la calculabilité quelques années avant l'apparition des ordinateurs.
Son lambda calcul est extrêmement pragmatique, pour résoudre la question à laquelle il s'est attaqué. Et ce n'était pas de concevoir un langage de programmation.
[^] # Re: Le théoricien rêveur et le programmeur pragmatique, quelle blague
Posté par fleny68 . En réponse à la dépêche Le langage Arc, issu de Common Lisp et Scheme, a un mois. Évalué à 10.
Son lambda calcul est extrêmement pragmatique, pour résoudre la question à laquelle il s'est attaqué. Et ce n'était pas de concevoir un langage de programmation.