Haskellでなんちゃって Turing Machine 作ろうとしたら謎仕様になったとうという話。 もともと monad 書く練習しようと思って色々データいじっていたんだけど、かなり脱線したので一応書いておきます。 実はこの辺は教科書で勉強したことがなくて、かなり記…

quotationがよくわかりません、という話になりました。実際、proc. (quote )はexpressionをすぐに評価するもので、なんですか、評価はapplicative-orderじゃないんですか！みたいな感じになりました。修行不足なので出直します。