[Haskell] 爆速でモナドを理解する

GHCi> import Data.Function(flip) GHCi> let (>.>) = flip (.) GHCi> :t (>.>) = flip (.) (>.>) :: (a -> b) -> (b -> c) -> (a -> c) GHCi> let showSqrt = sqrt >.> show GHCi> showSqrt 2 "1.4142135623730951" この演算子は、(.)演算子の引数の順番を逆にしただけです。 さて、この演算子について以下の3つの式が常に成り立ちます（重要） id >.> f ≡ f （idの左単位性） f >.> id ≡ f （idの右単位性） (f >.> g) >.> h ≡ f >.> (g >.> h) （結合則） 型コンストラクタ付きの関数の結合 世の中には戻り値が型コンストラクタに包まれていても普通の関数と同じ

[igrep]

Kleisli圏における射の合成 (>=>)を使った説明をよく目にするようになった気がするなー。

[karatte]

ライプニッツ「何これ」

[pptppc2]

ﾐﾝﾅﾉｷﾓﾁｶﾞﾜｶｯﾃｷﾀﾖｰ!!

[kazutanaka]

monad, kleisli triple, identity and associativity.