Interpretador de Cálculo Lambda Binário em 383 Bytes
2025-01-15
Esta postagem de blog apresenta uma nova implementação de 383 bytes de um interpretador de cálculo lambda binário como um executável ELF Linux x86-64. Este interpretador minúsculo consegue alcançar coleta de lixo, listas preguiçosas e recursão de cauda. Os programas são codificados em um formato binário notavelmente pequeno; por exemplo, seu avaliador metacircular tem apenas 232 bits. O autor fornece código C portátil amigável e binários pré-compilados para outras plataformas. Este projeto é uma ferramenta de aprendizado divertida para o cálculo lambda e mostra a possibilidade de implementar computação complexa em ambientes extremamente limitados de recursos.
Desenvolvimento
Cálculo Lambda