関数型プログラミング言語Haskell Part34

関数型プログラミング言語Haskell Part34 (667ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

504(1): 2024/10/04(金)22:52 ID:tixO3LDq(18/22) AAS
ただの圏じゃなくてクライスリ圏じゃないといけない（Moggiのアイディア１から）。
そして、クライスリ圏を定義するためにはクライスリ・トリプル（モナド）がいる

507: 2024/10/04(金)23:02 ID:vLDssEdm(9/9) AAS
>>504
>398 じゃ答えにならない？