2015-08-05 Free PreArrow haskell scalaz せっかく書いたので、とりあえず貼っておく。 とくに解説も結論もない ( ^ω^) < MonadはMonoidだしFree Monadあるじゃろ?( ^ω^) < ApplicativeもMonoidだしFree Applicativeもあるじゃろ?( ^ω^) < ArrowもMonoidだしFree Arrowが(ry(とても雑に要約)2015-08-04 01:38:10 via Twitter Web Client みたいなこと例の論文に書いてあったから、Free (Pre)ArrowとかいうのScalaで書いてみたけど、全然理解が進んだ気がしないし、感情を排してひたすらHaskellからScalaの人力変換機としての能力の高まりを感じる(?)URL2015-08-04 01:38:33 via Twitter Web Client to @xuwei_k http://www.fceia.unr.edu.ar/~mauro/pubs/Notions_of_Computation_as_Monoids.pdf