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

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

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

**デフォルトの名無しさん** · 2024/12/24(火) 20:41:55.62

頭が悪いなら、頭使うことからは距離を置けばいいのに
賢く見られたい欲ばかりで、物事を理解するために必要な努力をしないから、トンデモに走ってしまう

**デフォルトの名無しさん** · 2024/12/24(火) 21:55:08.53

懲りないやっちゃ

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

>>140
しつこくバレバレのコロコロして誰の話してんの？
自己紹介にしか聞こえないが？

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

>>139
ただの平日だよ糞ニート

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

チクチク言葉が好きな人たちだ

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

論破されたから自演しか言う事が無いらしい

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

こいつは何がしたいんだろうね

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

抽象化ということがわかっていない
Maybe、List、IOなどの具体的なデータ型があり、それはモナドである
モナドはIOではない

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

朝から5chに貼りついて

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

>>147
入出力をラップしたデータのデータ型は、入力と操作の結合に関してモナドになる
モナドは入出力とは関係がない

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

　 ∧＿∧　　／￣￣￣￣￣
　（　´∀｀）＜　オマエモナー
　（　　　）　＼＿＿＿＿＿
　│ │ │
　（＿_）___）

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

整数の全体ℤは加法に関して群をなす
一方、ℤは最大公約数が定義できる、素因数分解の一意性が成り立つなどの性質もあるが、それは群の性質ではない
それと同じこと

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

また、モナドなのはIO aという「型」であり、IO a型の具体的なオブジェクトではない

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

>>145
論破されてるのお前だろ糖質

>>147
モナドの話とIOモナドのざっくりした話をゴチャゴチャにしてるのはお前だろう
最初からお前の一人相撲
まさに糞アスペ

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

>>151
お前の勘違いと何の関係も無い話だよ

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

>>152
「～である」という表現の意図の問題だな
お前はやっぱり糞アスペ
他人の言うことの意図がさっぱり分からないし
分かろうともしないコミュ障

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

>>147
誰に文句つけてんだか
それが分からない人ってどこにいるの？

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

モナド型の変数であるというのを
その変数はモナドだとか言ったらアスペが発狂するらしい
自然言語で会話不可能だろ

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

もうどういう拘り持った糞アスペなのかだいたい分かった
糞ゲーだったがだいたいクリアした感じ

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

>>157
1は群である
1は素元分解整域である
1はユークリッド整域である

これは間違っているし、そもそも意味をなさない

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

細かいことを指摘されていると思っているようだが、
自分が根本的にデタラメな理解をしていると自覚したほうがいい

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

>>159
だから何？
文脈読め
そして具体的にどんな発言や文章にイチャモンつけてるのかいい加減はっきりしろよな
それをはっきりさせれば「お前が普通の自然言語の文脈読めないアスペなだけ」で議論終わるのわかってるから話を逸らしてんだろう

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

>>160
お前が勝手に他人が数学の定義でも何でもない話してる時にマイルール適用する出鱈目やってんだよ
そもそもお前も曖昧な自然言語の定義に依存して話してる自覚ない非論理的なアホだからな
お前の発言こそ文脈読んで貰わないとわけわかめなんだよ低能

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

>>160
誰も厳密な定義の話はしておらず
文脈読めない糞アスペ解釈の無意味さと非生産性と非合理性と無目的性を指摘してるだけだぞ
何の話してるのか意識しない糞アスペ
文脈自由言語じゃねえんだよアホ

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

>>3
「モナドで副作用を実現している」というのは「群論で足し算を実現している」というくらい意味不明な言い方だ
分かっている人はこんな表現はしない

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

「モナド」と「副作用」
同じ文脈に出てきた語を意味を考えずにただ並べれば相手が良いように解釈してくれると思っているアホ

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

>>164
だから誰がどこでそんな表現したんですか？
どのくらいアバウトな感じの状況で話したことにケチつけてんのかハッキリしろカス
どうせ糞アスペ

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

せいぜいHaskellで入出力したかったらモナド(関連クラスやオペレーターの使い方)が分からないといけないよーぐらいの何でもない表現にケチつけてんだろう
糞アスペだからな
そしてこういうのを「関係ない」って言い切るのが自然で厳密だと言って憚らないアフォ
論理的でもなんでもないアフォなんだわ

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

ただの言語障害なんだね

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

>>164
「モナドで副作用を実現している」
→ 基本的に副作用を許さないし評価順も保証されないHaskellの上で
副作用を伴う関数をまともに使える仕組みを実現するために
モナドに基づいた型の階層とオペレーターの定義をしてるんですねー
普通の言語感覚でこれは「実現」の一種ですねー

「群論で足し算を実現している」というくらい意味不明な言い方だ
→どう穴埋めしろってんだよ

糞アスペだから違いがわからないだけ
同じアホでも真実に近いアホと真実から限りなく遠いアホがいるが
こいつは後者であり存在自体が無意味

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

糞アスペの弾圧は俺にとってサブサブサブライフワークぐらいの位置づけなので適度に徹底的にやるで

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

やっぱレスバは盛り上がるなあ

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

技術的内容は皆無でああ言えばこう言う状態
平日の昼から暇なこった

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

>>169
モナドは副作用とは関係ない
IOモナドが表現しているのは手続きの逐次実行

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

>>167
Haskellで入出力をするのにモナドを理解している必要は全くない
整数の足し算をするのに群論を理解する必要がないのと同様

**デフォルトの名無しさん** · 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がまわってイカれてんのか？