プログラマって馬鹿が多いよね (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