Lambda-Kalkül-Interpreter in 383 Bytes

Dieser Blogbeitrag stellt eine neue 383-Byte-Implementierung eines binären Lambda-Kalkül-Interpreters als x86-64 Linux ELF-Executable vor. Dieser winzige Interpreter erreicht Garbage Collection, lazy Lists und Tail Recursion. Programme werden in einem bemerkenswert kleinen Binärformat kodiert; beispielsweise besteht sein metazirkulärer Evaluator nur aus 232 Bits. Der Autor stellt portablen C-Code und vorkompilierte Binärdateien für andere Plattformen bereit. Dieses Projekt ist ein unterhaltsames Lernwerkzeug für den Lambda-Kalkül und zeigt die Möglichkeit, komplexe Berechnungen in extrem ressourcenbeschränkten Umgebungen zu implementieren.