383バイトのラムダ計算インタプリタ

この記事では、x86-64 Linux ELF実行ファイルとして、383バイトで実装された新しいバイナリラムダ計算インタプリタを紹介します。この小さなインタプリタは、ガベージコレクション、遅延リスト、末尾再帰などの機能を実現しています。プログラムは非常に小さなバイナリ形式でエンコードされます。たとえば、メタサーキュラーインタプリタはわずか232ビットです。著者は、移植性の高いフレンドリーなCコードと、他のプラットフォーム向けのプリビルドバイナリを提供しています。このプロジェクトは、ラムダ計算の学習ツールとして楽しく、極めてリソースが制約された環境でも複雑な計算を実行できる可能性を示しています。