haskell-ja > Archives > 2015/06/09
Built on
Chaton
Search
|
Badge
|
Tools
2015/05
2015/06
2015/06/01 (2)
2015/06/02 (0)
2015/06/03 (0)
2015/06/04 (1)
2015/06/05 (5)
2015/06/06 (0)
2015/06/07 (1)
2015/06/08 (5)
2015/06/09 (5)
2015/06/10 (10)
2015/06/11 (0)
2015/06/12 (2)
2015/06/13 (0)
2015/06/14 (0)
2015/06/15 (2)
2015/06/16 (0)
2015/06/17 (0)
2015/06/18 (0)
2015/06/19 (3)
2015/06/20 (6)
2015/06/21 (0)
2015/06/22 (7)
2015/06/23 (3)
2015/06/24 (0)
2015/06/25 (6)
2015/06/26 (2)
2015/06/27 (0)
2015/06/28 (1)
2015/06/29 (4)
2015/06/30 (0)
2015/07
<< 2015/06/08
Back to the chat room
2015/06/10 >>
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 UTC
xuwei_k
#
そういえばscalazのところで「可換な(モナドの)型クラス自体はいいけど、モナドじゃなくてアプリカティブのサブクラスにしたら」みたいな話でました
#
http://gelisam.blogspot.ca/2013/07/the-commutative-monad.html
"The Commutativity monad" っていうそのものズバリなブログ記事見つけたので、あとで読もう・・・
2015/06/09 08:05:19 UTC
xuwei_k
#
あと、わりと昔のhaskell cafeのスレ
https://mail.haskell.org/pipermail/haskell-cafe/2008-May/042890.html
2015/06/09 08:09:40 UTC
xuwei_k
#
"The Essence of the Iterator Pattern" にもそのあたりの話でてくるのか・・・。どの論文からよめばいいのだろ
<< 2015/06/08
Back to the chat room
2015/06/10 >>