haskell-ja > Archives

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

<< 2015/06/07

Back to the chat room

2015/06/09 >>

haskell-ja > Archives > 2015/06/08