読者です 読者をやめる 読者になる 読者になる

by shigemk2

当面は技術的なことしか書かない

Kleisli クライスリ

Scala

www.leonardoborges.com

クライスリ圏 - Wikipedia

『すべてのモナドは関手の随伴対から得られるか』というP. J. Hiltonらの予想に対し、Heinrich Kleisliが解答をするにあたって導入した圏である

ちょっと何言ってるかわからないです。

独習Scalazにもちょろっと出てる。 独習 Scalaz — モナディック関数の合成

なお、すごいHaskellに、クライスリの話はない。。

射 (圏論) - Wikipedia