383 字节的 Lambda 演算解释器

本文介绍了一个仅用383字节实现的x86-64 Linux ELF可执行文件，它是一个二元Lambda演算解释器。这个微型解释器实现了垃圾回收、惰性列表和尾递归等特性，其程序以极小的二进制编码表示，例如元循环解释器仅需232位。作者还提供了其他平台的C代码和预编译二进制文件。这个项目对于学习Lambda演算非常有帮助，也展示了在极端资源受限的环境下，仍然可以实现复杂的计算功能。