Haskell のパターンマッチを使って SECD マシンを書く。Lisp のコンスセルは、任意の Lisp のデータを対にした構造。Haskell のリストと Lisp のコンスセルは(わたしの理解が間違っていなければ)ちょっと違う。型で言うと、以下の通り。 (:) :: a -> [a] -> …