『すべてのモナドは関手の随伴対から得られるか』というP. J. Hiltonらの予想に対し、Heinrich Kleisliが解答をするにあたって導入した圏である
ちょっと何言ってるかわからないです。
独習Scalazにもちょろっと出てる。 独習 Scalaz — モナディック関数の合成
なお、すごいHaskellに、クライスリの話はない。。
コミケ行ってきた
基本的にコミケでは技術本しか買いません。
買ったもの
ななかInside
monaural vol 18(というか総集編)
でしょうか。
とりあえず積読にならないことを祈るだけです。
