haskell-ja > Archives > 2015/06/08

2015/06/08 03:05:41 UTC[1..100]>>=pen
#
"Composing Monads" http://web.cecs.pdx.edu/~mpj/pubs/RR-1004.pdf の28ページからに Listモナドの合成の話があります。具体例を持っているわけではないですが十分条件だけで必要条件ではないと思います。かといって他に使いやすい十分条件もなさそうな気ガス。
2015/06/08 03:37:17 UTC[1..100]>>=pen
#
読書会 #heyhey_haskell の次に読む本は何に決まったんですか? #ステマ
2015/06/08 03:49:03 UTCruicc
#
プログラミング言語の基礎概念 http://www.amazon.co.jp/dp/4781912850 ですね
#
候補にはTAPL, プログラム意味論、 Implementing functional languages: a tutorial、thinking functionally with haskell, LiquidHaskellのpdfなどが挙げられてました
2015/06/08 15:38:29 UTCigrep
#
超今更ですがLens&Prism勉強会の個人的なまとめ記事を書きました。こちらにも共有いたします! http://the.igreque.info/posts/2015-06-09-lens-prism.html