プログラマって馬鹿が多いよね (571レス)
上下前次1-新
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん
199(1): デフォルトの名無しさん [sage] 2024/12/25(水) 19:55:53.02 ID:nyl4dMen(1/2) AAS
モナドとはXをみたすものである
Aを表現するデータ型は、それに対する操作BがXをみたすからモナドである
Aはモナドに関係ない
ということがいつまで立っても分からない
200(1): デフォルトの名無しさん [sage] 2024/12/25(水) 20:02:05.42 ID:nyl4dMen(2/2) AAS
IO型は様々な性質A, B, C, ...を備えている
このうちBがモナドの条件をみたすからIO型はモナドである
AやCはモナドとは関係がない
ということが何遍言われてもわからない
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.022s