Joy言語における意図的プログラミング：単一の演算子によるイントロスペクション
2025-02-12
この記事では、スタックベースの関数型プログラミング言語Joyにおける意図的プログラミングを探求しています。Joy自体は拡張的で、コードブロックを「分解」する機能がありません。著者は、'map'と'quota'という2つの意図的演算子を提案し、それらの相互表現可能性を証明しています。動作的には同等ですが、意図的プログラムは、単一の演算子と複数の命令を持つサブルーチンを区別できます。これは、意図的言語におけるより弱い同等性の概念を探求するための道を開き、Joyのようなミニマリスト言語に意図性を導入するための堅牢なアプローチを示しています。