haskell-ja > Archives > 2015/12/30
Built on
Chaton
Search
|
Badge
|
Tools
2015/11
2015/12
2015/12/01 (2)
2015/12/02 (1)
2015/12/03 (2)
2015/12/04 (4)
2015/12/05 (0)
2015/12/06 (0)
2015/12/07 (2)
2015/12/08 (4)
2015/12/09 (3)
2015/12/10 (0)
2015/12/11 (10)
2015/12/12 (0)
2015/12/13 (0)
2015/12/14 (4)
2015/12/15 (5)
2015/12/16 (2)
2015/12/17 (2)
2015/12/18 (3)
2015/12/19 (0)
2015/12/20 (0)
2015/12/21 (4)
2015/12/22 (1)
2015/12/23 (1)
2015/12/24 (0)
2015/12/25 (2)
2015/12/26 (3)
2015/12/27 (0)
2015/12/28 (0)
2015/12/29 (1)
2015/12/30 (1)
2015/12/31 (1)
2016/01
<< 2015/12/29
Back to the chat room
2015/12/31 >>
2015/12/30 03:42:31 UTC
igrep
#
http://qiita.com/koher/items/12f72f2fc2db7fa709cf
の記事を読んでいて気になったのですが、確かMonad則を満たしていれば自動的にFunctor則もApplicative則も（liftM, apを使えば）満たせるので、bindとreturnの説明さえしてしまえば十分なんじゃないかと思ったのですがいかがでしょうか？
<< 2015/12/29
Back to the chat room
2015/12/31 >>
haskell-ja > Archives > 2015/12/30haskell-ja > Archives > 2015/12/30