Intérprete de Cálculo Lambda Binario en 383 Bytes

Esta entrada de blog presenta una nueva implementación de 383 bytes de un intérprete de cálculo lambda binario como un ejecutable ELF de Linux x86-64. Este intérprete minúsculo logra realizar recolección de basura, listas perezosas y recursión de cola. Los programas se codifican en un formato binario notablemente pequeño; por ejemplo, su evaluador metacircular tiene solo 232 bits. El autor proporciona código C portátil y binarios precompilados para otras plataformas. Este proyecto es una herramienta de aprendizaje divertida para el cálculo lambda y muestra la posibilidad de implementar computación compleja en entornos con recursos extremadamente limitados.