AttaLambda : un langage basé sur le lambda calcul pur et non typé
En bref
- AttaLambda est un petit langage construit sur le lambda calcul pur, où tous les calculs reposent sur des fonctions unaires et leur application.
- La syntaxe ajoute de la lisibilité (définitions nommées, listes), des nombres rationnels exacts, et des vérifications de type à l'exécution.
- L'auteur propose une implémentation éducative avec documentation et exemples interactifs.
Ce que dit la source
L'auteur présente AttaLambda comme une exploration pédagogique du lambda calcul : montrer comment construire un langage de programmation fonctionnel à partir de principes fondamentaux, sans ajouter de complexité superflue. Il s'agit moins de résoudre un problème pratique que de démontrer comment transcender la théorie abstraite en un outil exécutable et compréhensible.
- Le langage est fondé sur des fonctions unaires et l'application, sans machinerie additionnelle
- La syntaxe ajoute de la lisibilité : définitions nommées, listes littérales, et conditionnelles sous forme readable
- Support des nombres rationnels exacts plutôt que des flottants approximatifs
- Vérifications de type à l'exécution (typage dynamique) sur une base purement non typée
Dans les commentaires
Peu de débat substantiel. L'auteur du livre « The Lambda Calculus. Its Syntax and Semantics » intervient pour féliciter, un commentaire conteste l'intérêt pédagogique (argument que c'est une transcription directe du livre sans apport nouveau), un autre exprime simplement de l'intérêt.
- Un commentateur souligne que le projet reproduit largement un exercice existant (implémentation du livre de Michaelson) sans contribution substantielle nouvelle, et reproche d'avoir omis les aspects théoriques réellement importants pour l'apprentissage du lambda calcul
Notre lecture
Probablement du bruit pour la plupart des publics tech. Intéressant uniquement pour ceux qui étudient les fondamentaux du lambda calcul ou enseignent la théorie du langage de programmation. L'absence de débat critique substantiel suggère que le projet n'ouvre pas de nouvelle direction, ni ne résout un frein pédagogique reconnu. Pas d'action immédiate.