haskell-ja > Archives > 2015/06/09

2015/06/09 04:24:04 UTC[1..100]>>=pen
#
""Composing Monads" には Beckの分配法則が載ってない。 http://en.wikipedia.org/wiki/Distributive_law_between_monads
2015/06/09 07:50:51 UTCxuwei_k
#
そういえばscalazのところで「可換な(モナドの)型クラス自体はいいけど、モナドじゃなくてアプリカティブのサブクラスにしたら」みたいな話でました
#
http://gelisam.blogspot.ca/2013/07/the-commutative-monad.html "The Commutativity monad" っていうそのものズバリなブログ記事見つけたので、あとで読もう・・・
2015/06/09 08:05:19 UTCxuwei_k
#
あと、わりと昔のhaskell cafeのスレ https://mail.haskell.org/pipermail/haskell-cafe/2008-May/042890.html
2015/06/09 08:09:40 UTCxuwei_k
#
"The Essence of the Iterator Pattern" にもそのあたりの話でてくるのか・・・。どの論文からよめばいいのだろ