#@masahiro_sakai ありがとうございます。同じなのか理解できてませんが、Functional Programming with Bananas, Lenses, Envelopes and Barted Wireにもφが出てきました。ここら辺の話題について行くには圏論の知識が必要なんでしょうか？
#そもそも上の論文はコードの部分しか読んでないので、それ以外の部分をちゃんと読むのがよいのかな。
#foldr の go の方は、関数呼び出しのジャンプを表しているのではないでしょうか？ 特に説明するドキュメントを見たわけではないので、単なる勘に過ぎませんが。
haskell-ja > Archives > 2010/07/05