Rohlang3：最小限の従属型付きSK計算

Rohan GanapavarapuによるRohlang3は、Rustで書かれた実験的なミニマル言語です。点フリースタイル、相同性、従属型をSK計算に基づいて組み合わせることを試みています。標準的なSとKコンビネータをベースに構築されていますが、Rohlang3は、反射(qとe)、部分評価(z)、環境の並べ替え(i、E、D)コンビネータと、簡素化されたPi/Sigma従属型システム(pとg)を追加しています。このプロジェクトは完全な一貫性を目指すのではなく、これらの概念の相互作用を探求することを目的としています。相同性により、実行時にASTを操作することができ、反射と部分評価機能により強力なメタプログラミング機能が実現されます。