Arrow はスタック言語だと口で言うだけじゃ信用してもらえないと思うので軽く作ってみる。もしかして、Haskell で Joy (風言語)というのはとても難しいのではと思っていた。何故難しいかというと、スタックというのはリストなのだけど、リストというのは普通…

さて、気分を変えて ArrowLoop をやります。論文に書いてあるloop f b = let (c,d) = f (b,d) in cの意味が全く分からなくて Arrow の勉強が一ヶ月近く停滞していたのですが、id:MaD さんが素晴らしい解説 http://d.hatena.ne.jp/MaD/20070818 を書かれてい…