プログラマって馬鹿が多いよね

**デフォルトの名無しさん** · 2024/11/27(水) 21:51:22.57

低レイヤーとか関数プログラミングとかなんとなく難しそうなものを大して理解もしてないのに崇めたがる
分かってる人からみると非常に滑稽

**デフォルトの名無しさん** · 2024/12/25(水) 13:56:10.39

ここまで技術的に全く意味をなしていないデタラメを書き連ねていたのが、いろいろ学習したのか、>>167あたりになってようやくアジャストしてきた
が、まだまだ誤りだらけ
やり直し

**デフォルトの名無しさん** · 2024/12/25(水) 13:56:30.19

論破ゲーム、反論してる間は正しい

**デフォルトの名無しさん** · 2024/12/25(水) 14:25:53.85

List型はモナドで、Listはインデックスによる要素へのアクセスやソートができるが、これはモナドとは関係ない
「モナドで副作用を実現している」というのは「モナドでリストのソートを実現している」というのと同様に誤り

**デフォルトの名無しさん** · 2024/12/25(水) 15:26:52.40

プログラミングで出るのはアドレナリンじゃなくてドーパミングク

**デフォルトの名無しさん** · 2024/12/25(水) 16:17:13.77

Ken〇kabeみたいに、異常な信念に基づいて自己実現を試みる人はどこにでもいるからなぁ

**デフォルトの名無しさん** · 2024/12/25(水) 18:03:32.37

ある技術が裏で高尚で神秘的なことをしていると信じて、「俺はそれを知ってるぜ」って得意気になるのだけが生き甲斐

**デフォルトの名無しさん** · 2024/12/25(水) 18:26:16.57

自分を飾りたいんよ
ものの本質はさておき
彼らにとったら全てはアクセサリーに成り下がる

ある種の権威主義なんよね
なにかを使って自分をアピり続ける人ってのは
それが威光を放てるかどうかはすでに見定めてる

**デフォルトの名無しさん** · 2024/12/25(水) 18:31:43.04

>>174
モナドそのものの話をしてるのか
Haskellのモナドクラスの使い方の話をしてるのか
文脈読めないアホなんですね
いい加減引っ込め糞アホ
アスペ以前にただのアホだな

**デフォルトの名無しさん** · 2024/12/25(水) 18:34:17.60

>>175
お前が人生やり直せよ
脳の物理的な問題なんじゃないの？

**デフォルトの名無しさん** · 2024/12/25(水) 18:36:52.32

>>180
(Haskellの)モナドをだいたい使えるようになった頃には
そんなに高尚な話じゃねえんだなあ、てみんな分かると思うよ
お前が叩きやすい絵に描いたようなアホなんか実在しないよ
お前のせいでいちいち(Haskellの)って書くの面倒なんだけど？
いい加減文脈読むこと覚えないと迷惑なのが分かんだろ
論理的に考えて

**デフォルトの名無しさん** · 2024/12/25(水) 18:39:01.91

>>181
自己紹介コロコロガイジ糞アホ
几帳面に毎回コロコロして何の意味あんの？
同じようなアホ発言してたらバレバレに決まってんだろ
ちなみにIDコロコロのことだぞ(糞アスペ向けフォロー)

**デフォルトの名無しさん** · 2024/12/25(水) 18:42:52.36

>>177
モナドの応用の一つで実現してんだよ
それが健常者の言語感覚だといい加減分かれ糞アホ
そしてHaskellのモナドクラスとオペレーターの話をみんなしてんだよ
勝手にHaskellと関係ないモナドの話に置き換えて赤の他人の話を解釈して意味不明な文句つけてんじゃねーよ
お前こそ抽象と具象の区別もつかない糞アホじゃねえか

**デフォルトの名無しさん** · 2024/12/25(水) 18:44:29.15

>>175
こっちは何もアジャストしてねえんだよ
お前みたいな馬鹿向けの翻訳を多少してやってるだけなんだよ
お前が間違いを認めざるを得なくなってるだけだろ糞アホ
低能アスペの落書きなんかニーズ無いからもう黙っとけ

**デフォルトの名無しさん** · 2024/12/25(水) 18:46:37.95

>>175
もはや誤魔化しようもない突っ込みに安価して余裕ぶっこいてるつもりのアホ
お前はとりあえず現実を見ることを覚えろ

**デフォルトの名無しさん** · 2024/12/25(水) 18:47:51.10

>>176
別に釣りカスの反論は何も正しくないぞ

**デフォルトの名無しさん** · 2024/12/25(水) 18:49:28.44

ワク推しのゴミ論法と全く同じだな
カスってみんな似てるわ

**デフォルトの名無しさん** · 2024/12/25(水) 18:58:28.56

論点ずらしかあからさまな嘘しか書かないゴミ
まさにワク推しと同類

**デフォルトの名無しさん** · 2024/12/25(水) 19:00:39.41

ワクチンの話題はリトマス試験紙だ
全てのゴミスレに導入してもいい

**デフォルトの名無しさん** · 2024/12/25(水) 19:26:45.10

>>186
副作用はモナドの応用ではない

Qiitaのポエムで妄想膨らませてないで一次情報を読め

**デフォルトの名無しさん** · 2024/12/25(水) 19:36:09.65

>>193
応用する側の勝手なんだよ馬鹿
やはり物事の因果関係がわからないアフォ

**デフォルトの名無しさん** · 2024/12/25(水) 19:37:07.47

思考順が逆
モナドを応用して副作用を実現しているのではない
副作用の実行を表現するデータ型が、操作の結合に関してモナドになる
モナドをどう応用したって副作用は実現できん

**デフォルトの名無しさん** · 2024/12/25(水) 19:43:51.49

>>193
>副作用はモナドの応用ではない
副作用はモナドの応用であるなんてバグった要約したら
俺の書いたことと似ても似つかんだろ
お前の脳みそがバグってんだよ
やっぱり相変わらず何に文句つけてんだか意味不明
言いたいことが分かりかけたような気がしたが
ランダムな信号に意味を見出そうとしても無駄かもしれんな

**デフォルトの名無しさん** · 2024/12/25(水) 19:44:43.09

>>195
お前の中で応用という単語がどういう定義になってんだよ
ペチャクチャ喋る前に辞書を引け糞ガキ

**デフォルトの名無しさん** · 2024/12/25(水) 19:46:57.75

こういうのをスクリプトかなんかで連投して嫌がらせするなら分かるけど、律儀に返信してるあたりほんとに病気なんだろうな

**デフォルトの名無しさん** · 2024/12/25(水) 19:55:53.02

モナドとはXをみたすものである
Aを表現するデータ型は、それに対する操作BがXをみたすからモナドである

Aはモナドに関係ない

ということがいつまで立っても分からない

**デフォルトの名無しさん** · 2024/12/25(水) 20:02:05.42

IO型は様々な性質A, B, C, ...を備えている
このうちBがモナドの条件をみたすからIO型はモナドである
AやCはモナドとは関係がない

ということが何遍言われてもわからない

**デフォルトの名無しさん** · 2024/12/25(水) 20:04:12.34

>>199
分かってないのはお前だろ
モナド則に従ってるIOモナドは一般的なモナド用のオペレーターで合成したり変換して破綻しない
何が不満なんだよ糞アホ

**デフォルトの名無しさん** · 2024/12/25(水) 20:07:03.75

>>200
IOモナドを合成してもIOを実行するべき順番という情報が維持できるのは
リストモナドが順番を保持したまま合成できるのと同じだ
そこから分からない馬鹿だったか
もしかしてなーんにも分かってないアホだったのか？

**デフォルトの名無しさん** · 2024/12/25(水) 20:08:41.69

リストがモナドだと分かって
IOの羅列がモナドだと分からない低能

**デフォルトの名無しさん** · 2024/12/25(水) 20:09:23.58

IO型は入出力のアクションを表現するデータ型である
IO型は型構築およびアクションの結合に対してモナド則をみたす
ゆえにIO型はモナドになる

入出力とモナドは関係が無い

ということが何度言われてもわからないらしい

**デフォルトの名無しさん** · 2024/12/25(水) 20:10:17.84

なにこの連投ｗ

**デフォルトの名無しさん** · 2024/12/25(水) 20:11:36.76

>>204
モナド則を満たすってことを
IOの順番の情報を維持することに使ってることがわからないアホ
ここまで何も分かってないだけだったとは

**デフォルトの名無しさん** · 2024/12/25(水) 20:12:22.19

いやもう、これ>>203で話終わってるから

**デフォルトの名無しさん** · 2024/12/25(水) 20:15:55.35

副作用を伴う処理は順番に実行することが大切で
順番という情報が大切で
リストと共通しているということが実は理解できてなかったアホなんですね
やっと1ミリぐらい腑に落ちました

**デフォルトの名無しさん** · 2024/12/25(水) 20:21:58.00

>>68や>>85で勉強して、さっそく主張をすり替えてきました（笑）

**デフォルトの名無しさん** · 2024/12/25(水) 20:27:09.77

>>20「Haskellではモナドの理論を利用して副作用のある世界をラップして純粋な世界との辻褄合わせに利用してるって話だろ」

と言ってたのが、>>109や>>173に言われてしれっも

>>206「モナド則をIOの順番の情報を維持することに使ってる」

とすっとぼける（笑）

**デフォルトの名無しさん** · 2024/12/25(水) 20:31:46.99

素直に勘違いや理解不足を認めず、「自分は最初からこう言っていた」と言うことで精神の安定を図るアホ

**デフォルトの名無しさん** · 2024/12/25(水) 20:44:32.90

seq演算子等を使えば強制的に評価できるので、順序を保つためなら、IOをモナドとして実装する必要性は無い

**デフォルトの名無しさん** · 2024/12/25(水) 20:50:41.92

リストの線形性はモナド関係ないだろ

**デフォルトの名無しさん** · 2024/12/25(水) 20:53:57.98

[[a]]を[a]に平坦化できることがリストのモナド則で、リストの線形性はモナドとは無関係

**デフォルトの名無しさん** · 2024/12/25(水) 20:55:32.18

恥の上にひたすら恥を塗り重ねてるな
狙ってやってるなら逆にすげーよ

**デフォルトの名無しさん** · 2024/12/25(水) 21:30:02.77

>>210
だから、お前は文脈読めない糞アスペなんだよ
どこからどこまで順番にランタイムが正格評価しないといけないかラップして分かるようにする必要があるんだよ
どんな順番で遅延評価されるのか分からないはずの純粋な関数と連結しても境界は区別されないといけないんだよ
Haskell弄ってる奴なら当たり前に分かってることを平易に書いてるだけだぞ
その文章の文脈が分からない奴はそもそも何にも分かってねえだろ
なんでそんな奴が喧嘩売ってんだよ糞アホ

要するにお前はHaskellランタイムの実装技術と圏論は関係ないとかいうどうでもいい話をしつこくしてるだけなんだろう
だからソース見ろだの一次情報がどうだのとズレまくった話をしてるんだろう(ここに来てエスパー)
IOモナドが「実現」してるのは「正しい表現」であって実行じゃないの
みんなそんなことは分かってるの
分かってないのはお前の脳内にしかいない仮想敵だけなの
分かった？
どうせ精神的キャパオーバーで現実認められないだろうけどな

**デフォルトの名無しさん** · 2024/12/25(水) 21:35:51.74

>>210
もしかして想像を絶するほど当たり前のことが分からないアホなのかな？(エスパーアゲイン)
まず入出力は副作用の一種なんだぞ？
入出力を伴う処理は順番通りに実行しないといけないんだぞ？
だからどこからどこまで順番通りに実行しないといけないのか過不足なく表現する技術は副作用と大いに関係があるんだぞ？
そこから分からないアホなの？
少しは話を逸らさずにレスしてみろ糞アホ

**デフォルトの名無しさん** · 2024/12/25(水) 21:35:55.63

あなたは細かいところを間違えているのではなく、そもそも物事を論理的に理解することを放棄して、ネットで聞き齧ったことを恣意的にツギハギしただけの戯言をべらべらと語っているから、何度も何度も基礎的なことを突っ込まれているのです。いい加減に自覚して下さい。

**デフォルトの名無しさん** · 2024/12/25(水) 21:38:07.83

>>218
根本から間違ってるのはお前だろ
どこの馬鹿なプログラマとやらに文句つけてるのかいい加減はっきりしろよ
どうせ脳内プログラマだろう

**デフォルトの名無しさん** · 2024/12/25(水) 21:39:06.98

>>210
全部同じことを言ってるのが分からずに
言うことが変わってると思ってる文脈読めない糞アホ
それが結論

**デフォルトの名無しさん** · 2024/12/25(水) 21:40:52.94

>>216
>どこからどこまで順番にランタイムが正格評価しないといけないかラップして分かるようにする必要があるんだよ

（少なくともGHCの実装では）IOアクションの中身は正格評価はしていない
（だからこそ>>68や>>80でRealWorldの話が出ているのだが……）

**デフォルトの名無しさん** · 2024/12/25(水) 21:41:22.81

また知ったかぶりしちゃったね

**デフォルトの名無しさん** · 2024/12/25(水) 21:41:52.75

>>218
具体性ゼロのフワフワした話で誤魔化しにもなってない
そんなテクニックが通用すると思ってるどうしようもない低能
そういうのはワク推しのゴミどもとバトルして見飽きてんだわ
何がどう間違ってるのか何も言えないのでフワフワしたポエムしか書けない
レスバの神に謝れ糞アホ

**デフォルトの名無しさん** · 2024/12/25(水) 21:43:03.09

>>221
実装なんか見なくても評価しないと現実のIOは起きないことぐらい誰でも分かるだろ
脳みそ腐ってんのか

**デフォルトの名無しさん** · 2024/12/25(水) 21:45:16.30

>ID:yW1da+j3 [40回目]
このスレに相当やばいのがおるけど犯罪とか自傷とかやめとけよ
世の中もっと複雑なんだから簡単に結論を出そうとするんじゃない
ちょっと頭冷やして踏みとどまれ

**デフォルトの名無しさん** · 2024/12/25(水) 21:50:04.50

そもそも「正格評価」は書いた順番に実行されることじゃないがな

**デフォルトの名無しさん** · 2024/12/25(水) 21:50:25.64

>>221
お前の脳内では評価のタイミングだかなんだかが大事らしいな
Actionではやってないとか文脈依存の表現だってわからねーのか
この順番に評価しろ、って意味の記述があるなら同じことなんだよ
普通にセマンティクスと実装の区別がついてないアホじゃん
もう言われただろ
真摯に受け止めろよ糞アホ
正しい表現を正しく実行する低レイヤーの話なんか誰が前置きもなくし始めてると思ってんだよ
馬鹿がアスペ解釈してるだけ

**デフォルトの名無しさん** · 2024/12/25(水) 21:51:49.61

>>226
誰もそんなことは言ってない
読み直せ糞アホ
そして文脈を読め馬鹿ガキ

**デフォルトの名無しさん** · 2024/12/25(水) 21:54:08.09

>>226
そしてアバウトに言えば書いた順番とも言えることがわかるだろう
同じことだ
何度糞アスペと言われたら共通的な問題を自覚するのか
抽象的な思考が全く出来ない脳障害なの？
コロコロしてたら自分だと分からないって思ってるのも同じ障害だろう

**デフォルトの名無しさん** · 2024/12/25(水) 21:54:36.05

>>226
順番守らせるための正格評価
この文脈が分からない糞アホ

**デフォルトの名無しさん** · 2024/12/25(水) 21:55:37.23

自分の知っていることや考えたことを確かな環境に基づいて説明すればいいのに、
なんで知りもしないことを知らない用語・理解してない理屈で主張したがるんだろうね

**デフォルトの名無しさん** · 2024/12/25(水) 21:55:47.28

>>225
どんなクソゲーでも納得するまでは投げないんだよ

**デフォルトの名無しさん** · 2024/12/25(水) 21:56:53.19

>>231
よく知ってる実装以外何も分からないアフォ
実装と仕様の区別がつかないアフォ
そろそろ問題に気づけアフォ

**デフォルトの名無しさん** · 2024/12/25(水) 21:58:25.45

アクションは正格評価されとらんやろ

**デフォルトの名無しさん** · 2024/12/25(水) 22:08:07.84

>>221
お前がゴチャゴチャ言ってるRealWorldの話
完全に低レイヤーの実装の話じゃねえか
しかも純粋なレイヤーの話じゃないとはっきり書いてる
＊馬鹿＊か？

**デフォルトの名無しさん** · 2024/12/25(水) 22:09:26.43

>>234
同じように実装と仕様の区別がついてないアフォな話を口調変えてしても無駄なんだよ糞アホ

**デフォルトの名無しさん** · 2024/12/25(水) 22:23:58.76

結局釣りカスは何を馬鹿にしたいんだよ
GHCの実装意識してパフォーマンスの良いコードをさくさく書けないプログラマでも馬鹿にしたいのか？
そもそもRealWorldでHaskell書く仕事してる奴なんか殆どいねえよ糞アホ
プログラマーは云々…などと雑なディスり方をした非礼を詫びてさっさと消えとけ

**デフォルトの名無しさん** · 2024/12/25(水) 22:31:33.99

Haskellでは、副作用の実行を表現するオブジェクト（I/Oアクション）は、IO aという型をもつ
Haskellの標準的な処理系では、I/Oアクションを「現実世界を引数と戻り値に持つ関数」として実装することで、参照透過性を保っている
I/Oアクションの生成および結合はモナド則をみたすので、IO型クラスはモナドになる

**デフォルトの名無しさん** · 2024/12/25(水) 22:32:04.49

GHCの実装とHaskellの話もゴチャゴチャになってるしな
いったい何だったらゴチャゴチャになってないんだよ
脳みそまで糞ワクのmRNAがまわってイカれてんのか？

**デフォルトの名無しさん** · 2024/12/25(水) 22:33:17.66

>>235
低レイヤーではないと思うが

**デフォルトの名無しさん** · 2024/12/25(水) 22:34:01.27

>>236
仕様においても実装においても正格評価されてないが

**デフォルトの名無しさん** · 2024/12/25(水) 22:34:06.58

>>238
だから？

**デフォルトの名無しさん** · 2024/12/25(水) 22:35:33.12

>>240
純粋なHaskellであり得ない実装依存の拡張機能使って
結構上のレイヤーで書けてますよーてだけの話じゃねえか
お前自分の貼ったリンク先の内容理解出来てんのか糞アホ

**デフォルトの名無しさん** · 2024/12/25(水) 22:38:02.95

>>241
言語の仕様と具体的な処理系の仕様の区別もつかないアホ
何の話かはっきりしろと言ってもアホだから無理なんだね

**デフォルトの名無しさん** · 2024/12/25(水) 22:40:07.92

>>240
また今度は低レイヤーという単語だけ切り取って
勝手に脳内辞書で解釈したいように解釈している
いい加減自分の脳みそのバグに気づけ糞アホ

**デフォルトの名無しさん** · 2024/12/25(水) 22:41:34.76

>>202-203

なんかそもそも思考が逆なんだよな

モナドだから順番があるのではなく（MaybeだのEitherだの考えりゃ、データコンテナとしてのモナドが線形とは限らないのはすぐわかる）、
アクションを結合するという操作がモナド則を満たすから、IOをモナドとして実装できる

ということがわかってない
>>195から何の進歩もない

**デフォルトの名無しさん** · 2024/12/25(水) 22:46:39.48

>>246
逆なんじゃねえんだよ
お前がどうでもいい部分に注目して要点掴めてねえんだよ
リストのコンテキストを維持できるのも
IOのコンテキストを維持できるのも同じことだろうがって話をしてんだろうが
読解力に進歩が無いのはお前だろうが

**デフォルトの名無しさん** · 2024/12/25(水) 22:51:43.46

>>247
同じことではない
>>213-214で指摘されている

**デフォルトの名無しさん** · 2024/12/25(水) 23:07:28.72

スレタイが実証されてるじゃん

**デフォルトの名無しさん** · 2024/12/25(水) 23:15:25.96

>>248
同じ曲解してるアホレスじゃねえか
少しは人の話を真面目に読んでからレスしろ脊髄反射低能カス野郎

**デフォルトの名無しさん** · 2024/12/25(水) 23:15:42.62

>>249
お前の脳内の仮想世界ではな

**デフォルトの名無しさん** · 2024/12/25(水) 23:18:34.92

>>214
平坦化できるのはリストのコンテキストを維持してるからだと分からないアホなんですね

**デフォルトの名無しさん** · 2024/12/25(水) 23:20:02.31

>>252
リストのコンテキストとは？

**デフォルトの名無しさん** · 2024/12/25(水) 23:28:19.49

馬鹿というか基地外

**デフォルトの名無しさん** · 2024/12/25(水) 23:31:53.46

>>253
リストが分からないやつも
コンテキストという単語が分からない奴も引っ込んでろ

**デフォルトの名無しさん** · 2024/12/25(水) 23:35:51.20

話の抽象度を上げても下げても分からないアホ

**デフォルトの名無しさん** · 2024/12/25(水) 23:42:38.31

不完全性定理とか選択公理みたいなもんだな
前提知識が無ければ理解できないし、ふつうに数学やるぶんに知らなくても困らないから触れないで済ますのが最も教育的なのだが
世間にデマが修正不可能なレベルで蔓延してるから、取り扱わないといけないやつ

**デフォルトの名無しさん** · 2024/12/26(木) 00:00:33.68

アホアホの実のアホ人間

**デフォルトの名無しさん** · 2024/12/26(木) 00:13:50.48

>>238が理解できてりゃ間違わないのにな。

**デフォルトの名無しさん** · 2024/12/26(木) 00:45:32.23

これを自分では筋が通ってると思って書いてるなら基地外だし、
わざとやってるならやっぱり基地外

**デフォルトの名無しさん** · 2024/12/26(木) 02:06:25.20

このスレってモナドって用語に振り回されすぎてふわふわなんだよなあ
何も知らん俺にカタカナ専門用語を使わずに説明できるぐらいの知性を発揮してくれないと何も残らんよ
ふわふわが好きならちいかわでも観なよ

**デフォルトの名無しさん** · 2024/12/26(木) 06:43:38.34

IOがモナドだとして副作用いつ実行されんの？

**デフォルトの名無しさん** · 2024/12/26(木) 07:06:28.26

ネットミームで大喜利するしか出来なさそう

**デフォルトの名無しさん** · 2024/12/26(木) 07:19:45.37

>>261
そもそもHaskellにおける入出力を説明するのにモナドを持ち出す必要は無い
小学生に四則演算を教えるのに群論をやらなくてもいいのと同様

**デフォルトの名無しさん** · 2024/12/26(木) 08:02:58.57

>>259
いつまでそこがポイントだと思ってんだよ学習障害

**デフォルトの名無しさん** · 2024/12/26(木) 08:10:44.13

>>264
IOモナドにしろStateモナドにしろ
どこからそんな発想が出てきて
あんな名前が付いているのか押さえさせるのは重要だろう
意義も理解できずに他人の発言や文章に文句付けてるだけのゴミ

**デフォルトの名無しさん** · 2024/12/26(木) 08:12:15.85

>>257
お前の糞アスペ解釈でお前の脳内にデマが蔓延してるだけなのに
お前の脳内のトラブルに他人を巻き込もうとするよ糞アホ
お前以外の誰にも関係ない問題だってそろそろ理解しろよ
他人はお前みたいな糞アスペ特有の誤解には陥らないから関係ないんだよ

**デフォルトの名無しさん** · 2024/12/26(木) 08:14:41.55

>>258
誰が誰に文句言ってるのか分からない発言を平気で書くアホ
自分がコロコロしてるの忘れてる脳障害かな？

>>260
コロコロしても異様に同じようにアホなことばっか書いてたら意味ないだろ糞アホ

**デフォルトの名無しさん** · 2024/12/26(木) 08:16:58.92

>>262
釣りカスが得意気に貼った入門記事>>68に強制的な正格評価が実行されることとか注釈に書いてるからよく読んだら分かんじゃね？
釣りカスは自分の貼った記事も読めてない疑惑

**デフォルトの名無しさん** · 2024/12/26(木) 08:21:34.51

IOモナドがモナド則を守った実装してなかったら
どんだけおかしなことになるか分からないアフォが関係ないって連呼してるだけ
そもそも最低限の検索キーワードぐらい与えとかないと
いずれ入門者から脱皮して自分のコードもモナドクラスから派生させてみようと考えた時に大惨事になるわけだ
糞アスペは他人に与える影響について想像力が働かないので何も意味が分からない

**デフォルトの名無しさん** · 2024/12/26(木) 08:43:45.48

mainの戻り値になったアクションが実行されるなら、一度結果返したあとも稼働し続けなきゃいけないサーバーはどうやって作るの？

**デフォルトの名無しさん** · 2024/12/26(木) 08:45:10.96

まだ正格評価の意味間違えてる……ｗ

**デフォルトの名無しさん** · 2024/12/26(木) 08:55:39.89

>>266
IO型は「操作の結合に関して」モナド則をみたすからモナド、
State型は「状態の遷移に関して」モナド則をみたすからモナドになっている
その他の性質はモナドとは関係がない
リストに要素の挿入や削除ができるのがモナドと関係ないのと同様

**デフォルトの名無しさん** · 2024/12/26(木) 09:09:25.27

朝から連投ごくろうさま

**デフォルトの名無しさん** · 2024/12/26(木) 10:03:21.17

「IOが副作用の実行をラップしていることはモナドとは関係ない」という話をしているのに、自前でモナドを作る話になってるのが全く日本語読めてないな