Il y a de ça quelques mois j'ai lu qu'un language avait été découvert: le lambda calcul,il est -sensé-être un language commun entre les machines et les humains(merci pour la comparaison).
Il se veut être un language tellement naturel qu'il est infaïble(mais pas forcement son implementation)
Donc je voudrais savoir si il existe une implementation pour linux,
savoir où on peut trouver de la doc,
si il y a des examples,
si quelqu'un peut donner les réponses sur tribunelinux.org
Voila.
Journal Lambda calcul
3
oct.
2003
