どこかにバグがあるけど何とか関数適用まで動くようになったので貼付けておく。 「:.」は「.」のつもりのデータ構築子。 -- SECD Machine data SECD = SECD LispVal LispVal LispVal LispVal deriving (Eq, Show) step (SECD s e (LDC x :. c) d) = SECD (x …