プログラマって馬鹿が多いよね (574ﾚｽ)
上下前次1-新
202(1): 2024/12/25(水)20:07 ID:yW1da+j3(32/62) AAS
>>200
IOモナドを合成してもIOを実行するべき順番という情報が維持できるのは
リストモナドが順番を保持したまま合成できるのと同じだ
そこから分からない馬鹿だったか
もしかしてなーんにも分かってないアホだったのか？
203(2): 2024/12/25(水)20:08 ID:yW1da+j3(33/62) AAS
リストがモナドだと分かって
IOの羅列がモナドだと分からない低能
204(1): 2024/12/25(水)20:09 ID:yDmK1kJF(1) AAS
IO型は入出力のアクションを表現するデータ型である
IO型は型構築およびアクションの結合に対してモナド則をみたす
ゆえにIO型はモナドになる
入出力とモナドは関係が無い
ということが何度言われてもわからないらしい
205: 2024/12/25(水)20:10 ID:KZ6pB4/x(2/2) AAS
なにこの連投ｗ
206(1): 2024/12/25(水)20:11 ID:yW1da+j3(34/62) AAS
>>204
モナド則を満たすってことを
IOの順番の情報を維持することに使ってることがわからないアホ
ここまで何も分かってないだけだったとは
207: 2024/12/25(水)20:12 ID:yW1da+j3(35/62) AAS
いやもう、これ>>203で話終わってるから
208: 2024/12/25(水)20:15 ID:yW1da+j3(36/62) AAS
副作用を伴う処理は順番に実行することが大切で
順番という情報が大切で
リストと共通しているということが実は理解できてなかったアホなんですね
やっと1ミリぐらい腑に落ちました
209: 2024/12/25(水)20:21 ID:YSzIfMqA(1/6) AAS
>>68や>>85で勉強して、さっそく主張をすり替えてきました（笑）
210(3): 2024/12/25(水)20:27 ID:YSzIfMqA(2/6) AAS
>>20「Haskellではモナドの理論を利用して副作用のある世界をラップして純粋な世界との辻褄合わせに利用してるって話だろ」
と言ってたのが、>>109や>>173に言われてしれっも
>>206「モナド則をIOの順番の情報を維持することに使ってる」
とすっとぼける（笑）
211: 2024/12/25(水)20:31 ID:3mrDuS6Q(1) AAS
素直に勘違いや理解不足を認めず、「自分は最初からこう言っていた」と言うことで精神の安定を図るアホ
212: 2024/12/25(水)20:44 ID:/0krV4FV(1) AAS
seq演算子等を使えば強制的に評価できるので、順序を保つためなら、IOをモナドとして実装する必要性は無い
213(1): 2024/12/25(水)20:50 ID:Rt5IJxsa(1/2) AAS
リストの線形性はモナド関係ないだろ
214(2): 2024/12/25(水)20:53 ID:Rt5IJxsa(2/2) AAS
[[a]]を[a]に平坦化できることがリストのモナド則で、リストの線形性はモナドとは無関係
215: 2024/12/25(水)20:55 ID:YSzIfMqA(3/6) AAS
恥の上にひたすら恥を塗り重ねてるな
狙ってやってるなら逆にすげーよ
216(1): 2024/12/25(水)21:30 ID:yW1da+j3(37/62) AAS
>>210
だから、お前は文脈読めない糞アスペなんだよ
どこからどこまで順番にランタイムが正格評価しないといけないかラップして分かるようにする必要があるんだよ
どんな順番で遅延評価されるのか分からないはずの純粋な関数と連結しても境界は区別されないといけないんだよ
Haskell弄ってる奴なら当たり前に分かってることを平易に書いてるだけだぞ
その文章の文脈が分からない奴はそもそも何にも分かってねえだろ
なんでそんな奴が喧嘩売ってんだよ糞アホ
省7
217: 2024/12/25(水)21:35 ID:yW1da+j3(38/62) AAS
>>210
もしかして想像を絶するほど当たり前のことが分からないアホなのかな？(エスパーアゲイン)
まず入出力は副作用の一種なんだぞ？
入出力を伴う処理は順番通りに実行しないといけないんだぞ？
だからどこからどこまで順番通りに実行しないといけないのか過不足なく表現する技術は副作用と大いに関係があるんだぞ？
そこから分からないアホなの？
少しは話を逸らさずにレスしてみろ糞アホ
218(2): 2024/12/25(水)21:35 ID:tDDIbaoR(1) AAS
あなたは細かいところを間違えているのではなく、そもそも物事を論理的に理解することを放棄して、ネットで聞き齧ったことを恣意的にツギハギしただけの戯言をべらべらと語っているから、何度も何度も基礎的なことを突っ込まれているのです。いい加減に自覚して下さい。
219: 2024/12/25(水)21:38 ID:yW1da+j3(39/62) AAS
>>218
根本から間違ってるのはお前だろ
どこの馬鹿なプログラマとやらに文句つけてるのかいい加減はっきりしろよ
どうせ脳内プログラマだろう
220: 2024/12/25(水)21:39 ID:yW1da+j3(40/62) AAS
>>210
全部同じことを言ってるのが分からずに
言うことが変わってると思ってる文脈読めない糞アホ
それが結論
221(3): 2024/12/25(水)21:40 ID:HcTA5YDL(1) AAS
>>216
>どこからどこまで順番にランタイムが正格評価しないといけないかラップして分かるようにする必要があるんだよ
（少なくともGHCの実装では）IOアクションの中身は正格評価はしていない
（だからこそ>>68や>>80でRealWorldの話が出ているのだが……）
222: 2024/12/25(水)21:41 ID:YSzIfMqA(4/6) AAS
また知ったかぶりしちゃったね
223: 2024/12/25(水)21:41 ID:yW1da+j3(41/62) AAS
>>218
具体性ゼロのフワフワした話で誤魔化しにもなってない
そんなテクニックが通用すると思ってるどうしようもない低能
そういうのはワク推しのゴミどもとバトルして見飽きてんだわ
何がどう間違ってるのか何も言えないのでフワフワしたポエムしか書けない
レスバの神に謝れ糞アホ
224: 2024/12/25(水)21:43 ID:yW1da+j3(42/62) AAS
>>221
実装なんか見なくても評価しないと現実のIOは起きないことぐらい誰でも分かるだろ
脳みそ腐ってんのか
225(1): 2024/12/25(水)21:45 ID:G9TljzDw(1) AAS
>ID:yW1da+j3 [40回目]
このスレに相当やばいのがおるけど犯罪とか自傷とかやめとけよ
世の中もっと複雑なんだから簡単に結論を出そうとするんじゃない
ちょっと頭冷やして踏みとどまれ
226(3): 2024/12/25(水)21:50 ID:zSTUrMav(1) AAS
そもそも「正格評価」は書いた順番に実行されることじゃないがな
227: 2024/12/25(水)21:50 ID:yW1da+j3(43/62) AAS
>>221
お前の脳内では評価のタイミングだかなんだかが大事らしいな
Actionではやってないとか文脈依存の表現だってわからねーのか
この順番に評価しろ、って意味の記述があるなら同じことなんだよ
普通にセマンティクスと実装の区別がついてないアホじゃん
もう言われただろ
真摯に受け止めろよ糞アホ
省2
228: 2024/12/25(水)21:51 ID:yW1da+j3(44/62) AAS
>>226
誰もそんなことは言ってない
読み直せ糞アホ
そして文脈を読め馬鹿ガキ
229: 2024/12/25(水)21:54 ID:yW1da+j3(45/62) AAS
>>226
そしてアバウトに言えば書いた順番とも言えることがわかるだろう
同じことだ
何度糞アスペと言われたら共通的な問題を自覚するのか
抽象的な思考が全く出来ない脳障害なの？
コロコロしてたら自分だと分からないって思ってるのも同じ障害だろう
230: 2024/12/25(水)21:54 ID:yW1da+j3(46/62) AAS
>>226
順番守らせるための正格評価
この文脈が分からない糞アホ
231(1): 2024/12/25(水)21:55 ID:YSzIfMqA(5/6) AAS
自分の知っていることや考えたことを確かな環境に基づいて説明すればいいのに、
なんで知りもしないことを知らない用語・理解してない理屈で主張したがるんだろうね
232: 2024/12/25(水)21:55 ID:yW1da+j3(47/62) AAS
>>225
どんなクソゲーでも納得するまでは投げないんだよ
233: 2024/12/25(水)21:56 ID:yW1da+j3(48/62) AAS
>>231
よく知ってる実装以外何も分からないアフォ
実装と仕様の区別がつかないアフォ
そろそろ問題に気づけアフォ
234(1): 2024/12/25(水)21:58 ID:ba7hNSHr(1) AAS
アクションは正格評価されとらんやろ
235(1): 2024/12/25(水)22:08 ID:yW1da+j3(49/62) AAS
>>221
お前がゴチャゴチャ言ってるRealWorldの話
完全に低レイヤーの実装の話じゃねえか
しかも純粋なレイヤーの話じゃないとはっきり書いてる
＊馬鹿＊か？
236(1): 2024/12/25(水)22:09 ID:yW1da+j3(50/62) AAS
>>234
同じように実装と仕様の区別がついてないアフォな話を口調変えてしても無駄なんだよ糞アホ
237: 2024/12/25(水)22:23 ID:yW1da+j3(51/62) AAS
結局釣りカスは何を馬鹿にしたいんだよ
GHCの実装意識してパフォーマンスの良いコードをさくさく書けないプログラマでも馬鹿にしたいのか？
そもそもRealWorldでHaskell書く仕事してる奴なんか殆どいねえよ糞アホ
プログラマーは云々…などと雑なディスり方をした非礼を詫びてさっさと消えとけ
238(2): 2024/12/25(水)22:31 ID:pHnbL/O6(1) AAS
Haskellでは、副作用の実行を表現するオブジェクト（I/Oアクション）は、IO aという型をもつ
Haskellの標準的な処理系では、I/Oアクションを「現実世界を引数と戻り値に持つ関数」として実装することで、参照透過性を保っている
I/Oアクションの生成および結合はモナド則をみたすので、IO型クラスはモナドになる
239: 2024/12/25(水)22:32 ID:yW1da+j3(52/62) AAS
GHCの実装とHaskellの話もゴチャゴチャになってるしな
いったい何だったらゴチャゴチャになってないんだよ
脳みそまで糞ワクのmRNAがまわってイカれてんのか？
240(2): 2024/12/25(水)22:33 ID:CcJmXK+k(1/3) AAS
>>235
低レイヤーではないと思うが
241(1): 2024/12/25(水)22:34 ID:CcJmXK+k(2/3) AAS
>>236
仕様においても実装においても正格評価されてないが
242: 2024/12/25(水)22:34 ID:yW1da+j3(53/62) AAS
>>238
だから？
243: 2024/12/25(水)22:35 ID:yW1da+j3(54/62) AAS
>>240
純粋なHaskellであり得ない実装依存の拡張機能使って
結構上のレイヤーで書けてますよーてだけの話じゃねえか
お前自分の貼ったリンク先の内容理解出来てんのか糞アホ
244: 2024/12/25(水)22:38 ID:yW1da+j3(55/62) AAS
>>241
言語の仕様と具体的な処理系の仕様の区別もつかないアホ
何の話かはっきりしろと言ってもアホだから無理なんだね
245: 2024/12/25(水)22:40 ID:yW1da+j3(56/62) AAS
>>240
また今度は低レイヤーという単語だけ切り取って
勝手に脳内辞書で解釈したいように解釈している
いい加減自分の脳みそのバグに気づけ糞アホ
246(1): 2024/12/25(水)22:41 ID:CcJmXK+k(3/3) AAS
>>202-203
なんかそもそも思考が逆なんだよな
モナドだから順番があるのではなく（MaybeだのEitherだの考えりゃ、データコンテナとしてのモナドが線形とは限らないのはすぐわかる）、
アクションを結合するという操作がモナド則を満たすから、IOをモナドとして実装できる
ということがわかってない
>>195から何の進歩もない
247(1): 2024/12/25(水)22:46 ID:yW1da+j3(57/62) AAS
>>246
逆なんじゃねえんだよ
お前がどうでもいい部分に注目して要点掴めてねえんだよ
リストのコンテキストを維持できるのも
IOのコンテキストを維持できるのも同じことだろうがって話をしてんだろうが
読解力に進歩が無いのはお前だろうが
248(1): 2024/12/25(水)22:51 ID:YSzIfMqA(6/6) AAS
>>247
同じことではない
>>213-214で指摘されている
249(1): 2024/12/25(水)23:07 ID:RELcjKdU(1) AAS
スレタイが実証されてるじゃん
250: 2024/12/25(水)23:15 ID:yW1da+j3(58/62) AAS
>>248
同じ曲解してるアホレスじゃねえか
少しは人の話を真面目に読んでからレスしろ脊髄反射低能カス野郎
251: 2024/12/25(水)23:15 ID:yW1da+j3(59/62) AAS
>>249
お前の脳内の仮想世界ではな
252(1): 2024/12/25(水)23:18 ID:yW1da+j3(60/62) AAS
>>214
平坦化できるのはリストのコンテキストを維持してるからだと分からないアホなんですね
253(1): 2024/12/25(水)23:20 ID:/0duTNeH(1) AAS
>>252
リストのコンテキストとは？
254: 2024/12/25(水)23:28 ID:GFzcOkja(1) AAS
馬鹿というか基地外
255: 2024/12/25(水)23:31 ID:yW1da+j3(61/62) AAS
>>253
リストが分からないやつも
コンテキストという単語が分からない奴も引っ込んでろ
256: 2024/12/25(水)23:35 ID:yW1da+j3(62/62) AAS
話の抽象度を上げても下げても分からないアホ
257(1): 2024/12/25(水)23:42 ID:WvyTQctI(1) AAS
不完全性定理とか選択公理みたいなもんだな
前提知識が無ければ理解できないし、ふつうに数学やるぶんに知らなくても困らないから触れないで済ますのが最も教育的なのだが
世間にデマが修正不可能なレベルで蔓延してるから、取り扱わないといけないやつ
258(1): 2024/12/26(木)00:00 ID:+nE8LjTZ(1) AAS
アホアホの実のアホ人間
259(1): 2024/12/26(木)00:13 ID:s5VzOfMb(1) AAS
>>238が理解できてりゃ間違わないのにな。
260(1): 2024/12/26(木)00:45 ID:4GQ1NJ+P(1) AAS
これを自分では筋が通ってると思って書いてるなら基地外だし、
わざとやってるならやっぱり基地外
261(1): 2024/12/26(木)02:06 ID:8eevi9hi(1) AAS
このスレってモナドって用語に振り回されすぎてふわふわなんだよなあ
何も知らん俺にカタカナ専門用語を使わずに説明できるぐらいの知性を発揮してくれないと何も残らんよ
ふわふわが好きならちいかわでも観なよ
262(1): 2024/12/26(木)06:43 ID:NYMoY9Lm(1) AAS
IOがモナドだとして副作用いつ実行されんの？
263: 2024/12/26(木)07:06 ID:5hfbKu3x(1) AAS
ネットミームで大喜利するしか出来なさそう
264(1): 2024/12/26(木)07:19 ID:Cz8iPOPz(1) AAS
>>261
そもそもHaskellにおける入出力を説明するのにモナドを持ち出す必要は無い
小学生に四則演算を教えるのに群論をやらなくてもいいのと同様
265: 2024/12/26(木)08:02 ID:k1BBiKIc(1/8) AAS
>>259
いつまでそこがポイントだと思ってんだよ学習障害
266(1): 2024/12/26(木)08:10 ID:k1BBiKIc(2/8) AAS
>>264
IOモナドにしろStateモナドにしろ
どこからそんな発想が出てきて
あんな名前が付いているのか押さえさせるのは重要だろう
意義も理解できずに他人の発言や文章に文句付けてるだけのゴミ
267: 2024/12/26(木)08:12 ID:k1BBiKIc(3/8) AAS
>>257
お前の糞アスペ解釈でお前の脳内にデマが蔓延してるだけなのに
お前の脳内のトラブルに他人を巻き込もうとするよ糞アホ
お前以外の誰にも関係ない問題だってそろそろ理解しろよ
他人はお前みたいな糞アスペ特有の誤解には陥らないから関係ないんだよ
268: 2024/12/26(木)08:14 ID:k1BBiKIc(4/8) AAS
>>258
誰が誰に文句言ってるのか分からない発言を平気で書くアホ
自分がコロコロしてるの忘れてる脳障害かな？
>>260
コロコロしても異様に同じようにアホなことばっか書いてたら意味ないだろ糞アホ
269: 2024/12/26(木)08:16 ID:k1BBiKIc(5/8) AAS
>>262
釣りカスが得意気に貼った入門記事>>68に強制的な正格評価が実行されることとか注釈に書いてるからよく読んだら分かんじゃね？
釣りカスは自分の貼った記事も読めてない疑惑
270: 2024/12/26(木)08:21 ID:k1BBiKIc(6/8) AAS
IOモナドがモナド則を守った実装してなかったら
どんだけおかしなことになるか分からないアフォが関係ないって連呼してるだけ
そもそも最低限の検索キーワードぐらい与えとかないと
いずれ入門者から脱皮して自分のコードもモナドクラスから派生させてみようと考えた時に大惨事になるわけだ
糞アスペは他人に与える影響について想像力が働かないので何も意味が分からない
271: 2024/12/26(木)08:43 ID:YX6PShG5(1) AAS
mainの戻り値になったアクションが実行されるなら、一度結果返したあとも稼働し続けなきゃいけないサーバーはどうやって作るの？
272: 2024/12/26(木)08:45 ID:YiO1xkpk(1) AAS
まだ正格評価の意味間違えてる……ｗ
273: 2024/12/26(木)08:55 ID:tqxRL7HU(1) AAS
>>266
IO型は「操作の結合に関して」モナド則をみたすからモナド、
State型は「状態の遷移に関して」モナド則をみたすからモナドになっている
その他の性質はモナドとは関係がない
リストに要素の挿入や削除ができるのがモナドと関係ないのと同様
274: 2024/12/26(木)09:09 ID:Speqxhk6(1) AAS
朝から連投ごくろうさま
275(1): 2024/12/26(木)10:03 ID:1ug312Rb(1) AAS
「IOが副作用の実行をラップしていることはモナドとは関係ない」という話をしているのに、自前でモナドを作る話になってるのが全く日本語読めてないな
276(1): 2024/12/26(木)12:40 ID:3a8j6chx(1) AAS
きちんとしたドキュメントを論理的に正しく読まず、雰囲気で飛ばし読みをしているから、こういう恥ずかしい間違いをし続ける
277: 2024/12/26(木)12:42 ID:k1BBiKIc(7/8) AAS
>>275
関係なくないから馬鹿と言ってんだよ文盲
少し黙って今までのログを読み返せ
お前の脳内辞書でのラップの意味なんか知るかよ
いい加減相手の吐いた言葉には相手の込めた意図があるという当たり前のことを理解しろ
お前が小馬鹿にしてるどこに実在しているのか分からない馬鹿なプログラマとやらの発言や文章も一緒だ
自然言語はプログラム言語のような文脈自由言語じゃないということが分からない糞アスペ
省1
278: 2024/12/26(木)12:45 ID:k1BBiKIc(8/8) AAS
>>276
自分の貼ったリンク先も飛ばし読みしてる疑惑濃厚なのはお前だろう
既に書いたことぐらい読んでレスしろ糞アホ
それにしても毎回几帳面にコロコロしてるの精神病だろ
馬鹿度が近過ぎてバレバレなのにいつまでそれ続けるの？
279: 2024/12/26(木)15:07 ID:2Q+mJpL6(1/2) AAS
事実を認めると死ぬ病気でもかかってるんだろうか
280: 2024/12/26(木)15:09 ID:2Q+mJpL6(2/2) AAS
そもそも基地外の間違いを訂正し続けるだけで議論になってない
281: 2024/12/26(木)15:21 ID:YgT35q2W(1) AAS
平日の昼間から糞スレに連投
282: 2024/12/26(木)16:44 ID:7YETGvcg(1) AAS
関数型言語はゴミ、実用的なアプリで誰も使ってない、オブジェクト指向最強
つまりLINQを備えたC#最強、Haskellはゴミ
終わり
上下前次1-新書関写板覧索設栞歴
あと 292 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.025s