[id:lethevert:20051122:p1] 要は、パターンマッチを使って、「可能な計算状態の集合」の要素に対して、適切な処理を割り当てていきましょうということだよね。 つまり、こんな感じ？ ::状態 = A a | B b | C c f :: a -> 状態 f :: b -> 状態 f :: c -> 状…

デバッグ中に、メモリ上の命令列を書き換えれば、動的にプログラムの動作を変更できるんだ。 考えてみればあたりまえだけれど、これはかなり新鮮な驚きだ。

http://ja.wikipedia.org/wiki/%E5%9C%8F%E8%AB%96 後で読んどきます。

アップルのiMac G5欲しい！

誰かが、遅延評価が嬉しいと思ったことはないと書いていたような気がしたが、そんなこともないのではないかと思って、実験してみることにした。 遅延評価を上手く使うと、時間のかかる計算を、結果の再利用をしてリソースの節約をするようなコードが簡単に書…