関数型プログラミング言語の定義＆実装の仕方の例 - Qiita

前置き：何となく成り行きで何か書かないと心苦しいので、殴り書きレベル ＆ 文才がなくてつまらない ＆ 関数型言語の授業等を受けたことがある方にはものすごく当たり前の教科書的内容ですみませんが、取り急ぎ自分が容易に書けることを書きます。（この記事に直接の関係がある）質問があれば、（すぐに反応できない場合もあると思いますが）なるべく答えます。誤植などの指摘も助かります。 さて、プログラマならば誰しも一度は「オレオレ・オリジナル・プログラミング言語を作りたい」という欲求を抱きますよね。（抱きますよね？） そのとき、文字列レベルの文法（具象構文(concrete syntax)と言います）はわりと誰でも(?)考えられますが、それが木構造レベルでどういう風に表されて（抽象構文(abstract syntax)と言います）、どう動作するのか（操作的意味論(operational semantics)と

[Hash]

"代入ではなく環境を用いた、より効率的な実装" OCaml実装例読んでみたいです