必要になって何となく OCaml で書いて何となく晒す。なんとなく面倒臭そうなイメージを持ってたんですが，実際に書いてみたらそうでもありませんでした。破壊的代入の塊であるという点では関数型らしくありませんが，配列の破壊的操作が Array.iteri で思い…

あなごるに出てた composition calculus が面白そうで，真面目にインタプリタを書いてみたくなったので OCaml で実装してみた。所要時間は Stream のインタフェースを思い出すところから始めて全部で一時間くらい。 type token = char type expr = Atom of t…