Gauche > Archives > 2012/10/16

2012/10/16 07:02:52 UTCshiro

http://d.hatena.ne.jp/wasabiz/20121015/1350310061 のunitのかわりにfmapにすると書けないのがある、って話は結局 http://d.hatena.ne.jp/kazu-yamamoto/20101211/1292021817 にあるMonadよりApplicativeの方が弱いっていう話と同じことかな。結局は。

そんでApplicativeにするなら、Schemeなら不定長引数が取れるんで <*> とかいらなくて、(<$> f arg ...) って形にしちゃえばMonadのdo記法よりもいいじゃん、っていうような話が前にここで出てたような気がする。