Interprète de Calcul Lambda Binaire en 383 Octets
2025-01-15
Cet article de blog présente une nouvelle implémentation de 383 octets d'un interpréteur de calcul lambda binaire sous forme d'un exécutable ELF Linux x86-64. Ce minuscule interpréteur parvient à réaliser le ramassage des ordures, des listes paresseuses et la récursion terminale. Les programmes sont codés dans un format binaire remarquablement petit ; par exemple, son évaluateur métacirculaire ne fait que 232 bits. L'auteur fournit du code C portable et des binaires précompilés pour d'autres plates-formes. Ce projet est un outil d'apprentissage amusant pour le calcul lambda et montre la possibilité d'implémenter des calculs complexes dans des environnements extrêmement contraints en termes de ressources.