arrow_for_2chArrowの紹介 for 2ch 2007年7月1日 前口上 HaskellスレでArrow分からんって何回か書かれてるけ どArrowは怖くないよ。 Arrowは面白いよ。 計算を g とか f g 見たいな図で表せて面白い。 前口上 このスライドはJohn Hughes(じょん ひゅーず)の ・ Generalising Monads to Arrows http://www.cs.chalmers.se/~rjmh/Papers/arrows.pdf って言うArrowの元になった論文を元にしたArrowの紹 介だよ。 でも論文とは結構違う説明してるから注意。 Arrowって何よ ArrowはMonadと同じような役割に使われる。 ArrowはMonadよりも一般的。 Monad mに対して Arrow aが機械的に定義できる。 Arrow aに対して Monad
