注目★★★★★Lobsters
f-式ベースの最小 Lisp 方言 Opus、環境を第一級値にして複雑性を削減
30秒で把握
- 1Kernel 言語をベースに f-式意味論で設計した最小 Lisp 方言 Opus 実装公開・operative 単一原始により Special Forms を極小化
- 2関数・マクロ・制御フローをすべて operative と環境の組み合わせで導出・コンパイラレベルの複雑性をユーザーランド実装へシフト
- 3Haskell+CPS による尾呼び最適化と第一級継続対応・WebAssembly コンパイル対応で言語理論と実装の両立を実現
要約
Opus は Kernel 言語の f-式意味論に基づく最小限の Lisp 方言で、Haskell で実装され WebAssembly にコンパイルされる。設計の中核は言語の信頼計算基盤 (Special Forms) を最小化しながら、operative ($vau) という単一の原始型を通じて表現力を最大化することだ。$vau は引数を評価しないまま受け取り呼び出し環境に直接アクセスするため、関数・マクロ・制御フローなどの複雑な機能も環境とこの原始型の組み合わせだけで導出できる。環境自体を実行可能な第一級値として扱うことで、モジュール・サンドボックス・ハイジーン性といった言語機能が従来のコンパイラレベルの実装ではなくユーザーランドコードで実現される。
あなたへの影響
関数型言語や Lisp の理論研究に関わる開発者にとって、環境と operative の統一がどのように言語の複雑性を削減し拡張性を生むかの具体例として参考価値が高い。
推奨：Kernel 言語の実装体験を試したいなら、ダウンロードして REPL で continuation や module 実装を実際に動かしてみるとよい。