24/11/28 08:27:32.54 r9o7huT/.net
釣れないね
3:デフォルトの名無しさん
24/11/28 10:39:31.29 pLZ+Y0BD.net
「モナド 副作用」で検索すると、「Haskellではモナドで副作用を実現している」のような嘘八百がたくさんヒットする
4:デフォルトの名無しさん
24/11/28 11:07:55.43 r9o7huT/.net
プ板だけど
5:デフォルトの名無しさん
24/12/03 11:45:27.57 BwbDtPAH.net
>処理系の理解が足りない人が「まずは計測」とか本の言葉を賢しらに引用してるの、ネットでもめっっっっっっちゃ見ますが、それよりも言語処理系がプログラムをどう実行してて、どういう処理に時間かかるけど、どういう処理はあんまり時間かからないとかそういう一般的な性質をまずは知ろうよ、と言いたくなることはもうほんとに多い。
>
>「まずは計測」と言うのは「基本を抑えた後」でしょと
>思う。
URLﾘﾝｸ(x.com)
こういう、確立した常識のささいな例外を発見して得意げになってるやつとか
6:デフォルトの名無しさん
24/12/04 19:16:45.59 y3siEpOt.net
>>3
モナドは副作用するIOのラップだけのものじゃないが嘘じゃないだろ
曖昧な言葉をどう解釈して文句垂れてるのか知らんが
いかにも糞アスペなの丸出しで臭い
7:デフォルトの名無しさん
24/12/05 15:03:43.25 2LNpfkRJ.net
釣れないね
8:デフォルトの名無しさん
24/12/05 19:15:55.57 qEhM/kmh.net
>>6
モナドは副作用となんの関係もないよ
勉強しよう
9:デフォルトの名無しさん
24/12/05 19:24:19.60 qEhM/kmh.net
IOモナドについても、副作用には何ら関与していない
「モナドが副作用を実現する」というのは、配列の各要素をプリントするプログラムをみて、「for文で画面に出力している」と言っているようなもの
10:デフォルトの名無しさん
24/12/05 19:44:49.68 tJJuofYn.net
プログラミングで、上級者ぶりたい馬鹿が好きなもの
デザインパターン
アジャイル開発
テスト駆動開発
エクストリームプログラミング
関数プログラミング
モナド
圏論
Haskell
Lisp
Vim
Emacs
Arch Linux
SICP
Patterson and Hennessy: Computer Organization and Design
etc
11:デフォルトの名無しさん
24/12/05 20:08:40.50 PW8bJaKh.net
etc←そう、大好物ｗ
12:デフォルトの名無しさん
24/12/06 10:44:55.50 zw4qy2EX.net
NP完全
13:デフォルトの名無しさん
24/12/06 11:27:00.92 x1xEzr8K.net
等価変換プログラミング言語ETC
14:デフォルトの名無しさん
24/12/07 14:04:36.62 8ekNK8XT.net
再帰不能
15:デフォルトの名無しさん
24/12/07 14:39:25.84 N1B9Yhfo.net
プログラマー板とプログラム板の区別もできないおバカさんたちは巣におかえりください
16:デフォルトの名無しさん
24/12/07 14:48:23.85 pegiPUS1.net
>>6
モナドが副作用と関係ないのは事実だけど
どう解釈すると関係あることになるの？
17:デフォルトの名無しさん
24/12/07 22:23:34.54 AZohMT+x.net
消せ消せ消せ消せ
18:デフォルトの名無しさん
24/12/07 23:19:22.17 g3pJENQN.net
スーパーコンピュータでシミュレーションしていると
物理的理論に加えて数値解析理論およびコンピュータの効率利用など
すげー広範囲の知識が必要なんだが
19:デフォルトの名無しさん
24/12/08 09:16:59.23 1ymGQCq0.net
URLﾘﾝｸ(agora-web.jp)
以前並ぶのが嫌なのに紙で出て来たらわざわざ造り治ししてもらったということは矛盾した行動ですね
20:デフォルトの名無しさん
24/12/13 08:03:28.99 k1futVTh.net
>>8
あたおかかよ
Haskellではモナドの理論を利用して副作用のある世界をラップして純粋な世界との辻褄合わせに利用してるって話だろ
文脈依存の言葉が何一つ理解できない糞アスペかな？
21:デフォルトの名無しさん
24/12/13 08:05:09.44 k1futVTh.net
>>8
お前の脳内では「実現する」という言葉を異常に限定された用途でしか使ったらいけないという独りよがりなマイルールになってるだけなんだよ
お前の日本語能力がおかしいだけなんだわ
22:デフォルトの名無しさん
24/12/13 08:05:25.02 k1futVTh.net
言語障害うざ過ぎ
23:デフォルトの名無しさん
24/12/13 08:16:21.62 k1futVTh.net
いろんな単語にいろんな文脈や分野、業界に応じた定義がされてる多層的な世界を認識できない低能アスペが発狂して喚いてるだけだったんだね
理解した
24:デフォルトの名無しさん
24/12/13 08:17:18.69 k1futVTh.net
この世界における自分の位置を理解して二度とゴミスレ建てるなよ
25:デフォルトの名無しさん
24/12/14 20:00:11.81 MnpkhVgp.net
>>20
妄想の上に妄想を重ねてないで、
公式ドキュメントくらい読んで勉強しろ
思ひて學ばざれば則ち殆しだ
26:デフォルトの名無しさん
24/12/14 20:03:17.11 hJYUb1eb.net
>>20
>Haskellではモナドの理論を利用して副作用のある世界をラップして純粋な世界との辻褄合わせに利用してるって話だろ
このデマはよく言われているが、HaskellのIOモナドはこんなことは全くしていない
Qiitaとかじゃなく一次情報を学べ
27:デフォルトの名無しさん
24/12/15 08:23:16.37 9F1mH1Q5.net
結局のところ、プログラムっていうのは何かを作るための過程に過ぎないから、何を作るかが重要なんじゃないかな
プログラミングスキル高くても、自分で何も作れないなら、誰かの言う事聞きながらプログラムするしかないしね
だから、プログラマは馬鹿に見えるんじゃないだろうか🙄
28:デフォルトの名無しさん
24/12/22 20:33:54.39 UnSkWQv0.net
>>26
お前の腐った言語脳のバターンマッチだと同じことだってわからないだけだろアフォ
相手の話を理解できてない自覚すらない最低レベルのアフォ
29:デフォルトの名無しさん
24/12/22 20:44:18.08 UnSkWQv0.net
>>8
>>>6
>モナドは副作用となんの関係もないよ
>勉強しよう
モナドは副作用のラップだけに使われてるわけじゃないが…に対する返しがこれだからな
日本語も論理も分からないただのガイジだろ
ネットに無意味なゴミを撒き散らすだけだから黙ってろ
日本語分からないんじゃ議論は成り立たんわ
30:デフォルトの名無しさん
24/12/22 20:48:14.17 UnSkWQv0.net
何が何を包含してる話なのかいきなり分かってないアホ
何の分野をホームにしてるのか知らんが
少なくとも数学とかは向いてないからやめとけ
31:デフォルトの名無しさん
24/12/22 21:28:55.62 DPnJSDpx.net
Qiitaのポエムじゃなくて一次情報を読めるように勉強しよう
>Haskellではモナドの理論を利用して副作用のある世界をラップして純粋な世界との辻褄合わせに利用してるって話だろ
HaskellのIOモナドはこんなことは全く行っていない
実装読むか公式のドキュメント見れば分かること
32:デフォルトの名無しさん
24/12/22 21:31:49.36 DPnJSDpx.net
あなたは勉強が出来なさすぎて、安易なデマ情報で知識コンプレックスを埋合わせてしまっている
専門的な文書をきちんと読んで理解する力を鍛えないと、ずっとこのまま
正しい事実や理屈を確かめずに、自分の腑に落ちる都合のいい情報だけを信じて生きることになる
33:デフォルトの名無しさん
24/12/22 21:37:56.81 SfH8Ottg.net
>>9←これがすべて
モナドは何ら副作用に関与していない
34:デフォルトの名無しさん
24/12/22 22:29:43.10 JeH07utw.net
これがMonad IOの実装
URLﾘﾝｸ(hackage.haskell.org)
35:デフォルトの名無しさん
24/12/23 08:27:10.17 CeQg/DvO.net
>>31-34
本気で文句言ってるのかこいつ？
やっばり人の言ってることが理解できないだけか
主著の内容ははっきりさせずに
大量のソース読めとしか言わない釣りカスだろ
言ってることに全く具体性が無い
>HaskellのIOモナドはこんなことは全く行っていない
>実装読むか公式のドキュメント見れば分かること
公式の説明と文言が違ってたら同じだと分からないだけのアホだろう
「副作用に関与」とかこいつの脳内で何を指してるのか意味不明だしな
Haskellのモナドは値をIOのある世界に放り込んだら
もう出せなくしてるだけ
それを糞アスペでなけりゃ分かる表現に簡単に言い換えてるだけなんだが？
そんなに文句つけるんなら自分なりの説明を書いてみろネットのゴミ
36:デフォルトの名無しさん
24/12/23 08:28:23.00 CeQg/DvO.net
「モナドが副作用を実現する」なんてわけわからん説明
釣りカスしか言ってないだろ
誰と戦ってんだよ糖質
37:デフォルトの名無しさん
24/12/23 08:32:24.54 CeQg/DvO.net
まー、「実現」と言っても糞アスペでなけりゃ何を言いたいか分かると思うがな🤣
38:デフォルトの名無しさん
24/12/23 08:36:49.55 CeQg/DvO.net
きっと糞アスペ君の脳内ルールでは「実現」という単語をこんなガバガバなニュアンスで使うなんて耐えられないムキーーッて感じで発狂しちゃったんだね
39:デフォルトの名無しさん
24/12/23 08:40:06.41 CeQg/DvO.net
釣りカス糞アスペ君が成人してるのかどうか分からないが
今まで生きてきて自然言語のガバガバさと柔軟さに気づかなかったかわいそうな子なんですね
もっと人の話の意図する所と目的に注意しような
単語の解釈の正確さだけが重要なことじゃないんだぞ
40:デフォルトの名無しさん
24/12/23 11:42:50.28 tEyQblGG.net
こんな過疎板でキチガイムーヴして何が楽しいんだろうか
41:デフォルトの名無しさん
24/12/23 12:18:26.62 CeQg/DvO.net
反論できなくなったらそれ
典型的釣りカスムーブ
42:デフォルトの名無しさん
24/12/23 12:19:12.11 CeQg/DvO.net
ネットにゴミを書く馬鹿はキッチリ叩いておいた方がいいんだよ
43:デフォルトの名無しさん
24/12/23 12:20:02.79 CeQg/DvO.net
一人のゴミを叩き潰すために3スレッドでも使い潰す徹底ぶりが秩序を生み出す
44:デフォルトの名無しさん
24/12/23 12:44:57.11 hZBKh57Z.net
論破ゲームが好きー
45:デフォルトの名無しさん
24/12/23 13:06:54.58 +zibcSxZ.net
解釈もなにも、モナドと副作用には何の関係もない
いい加減一次情報を読んでくれ
46:デフォルトの名無しさん
24/12/23 13:21:19.58 6AMvO4LP.net
モナドで副作用を実現しているというのは、FizzBuzzのソースコードをみて、ifやforが文字列をプリントしていると勘違いしているようなもの
47:デフォルトの名無しさん
24/12/23 14:30:30.45 CeQg/DvO.net
>>45
関係あるないの話じゃない
いい加減日本語が読めず論理も分からないなら引っ込め
結局のところIOは副作用に分類されるのだから
副作用している関数をどこにどういう理屈でぶち込んで誤魔化してるかの話でしかない
その整理と分離のための方法論にモナドの理論を利用している
分かってないなら引っ込め
そもそもお前はHaskellでのIOを具体的にどうやるのか分かってるのか？
エアプ野郎のゴミは黙ってろ
>>46
誰もそんなこと言ってない
少なくともお前みたいなアスペ解釈で問題ないようなニュアンスで「実現」という単語を使ってる奴はいない
お前が一人で脳内の敵を叩いてるだけ
48:デフォルトの名無しさん
24/12/23 14:32:53.62 CeQg/DvO.net
>>45
そもそもモナドにいろんな応用があり得るってだけ
IOする関数の整理と分離に使って何が悪い
モナドに関係あるのではなく
HaskellはIOをモナドに関連づけた
何もおかしくないし矛盾してない
理解力ゼロガイジはもう黙れ
ウザいだけだから感想も要らんぞ
49:デフォルトの名無しさん
24/12/23 14:35:03.99 CeQg/DvO.net
言い回しが少し変わると同じものだと理解できないガイジが発狂してるだけなんだから
いつまでも自分は人より賢いみたいな勘違いしてんじゃねーよカス
ネットのアスペはマジで有害
アスペがいるとネットがゴミログで溢れる
アスペは文句言う前に自分の文句を吟味しろ
ゴミ出力を減らせ
50:デフォルトの名無しさん
24/12/23 14:38:40.54 CeQg/DvO.net
そもそもHaskellが具体的にどうモナドを利用してるかすら理解してないアフォが文句言ってるんじゃないだろうな
全体的にエアプ臭いわ
応用を想像出来ない抽象概念暗記しただけのガイジが勘違いしてお前ら分かってないアピールしてるだけだろ
51:デフォルトの名無しさん
24/12/23 17:34:58.13 G/KzyHa1.net
ここまでモナドがどう副作用と関係してるのかの説明無し
（そもそも関係ないから間違った説明以外できないのだが）
52:デフォルトの名無しさん
24/12/23 17:59:55.28 2SJ33n/h.net
>>20
>Haskellではモナドの理論を利用して副作用のある世界をラップして純粋な世界との辻褄合わせに利用してるって話だろ
などと、聞きかじりでデタラメなポエムを垂流してしまった手前ひっこみがつかず
>>48
>HaskellはIOをモナドに関連づけた
こういう論点のすり替えをし出す始末。
53:デフォルトの名無しさん
24/12/23 18:21:26.06 CeQg/DvO.net
>>52
最初から何もすり替えてねえんだよ
お前の理解が間違ってて
お前が自然言語で書かれた内容をアスペ解釈して馬鹿なこと書いてると誤解して
上からアホなこと言って撃沈してるだけ
釣りカス馬鹿丸出し
54:デフォルトの名無しさん
24/12/23 18:29:18.33 CeQg/DvO.net
>>51
それこそIOモナドの入門記事でも読めばわかんだろ糞アホ
本来なら副作用があったらいけない世界に
実際には副作用やってる関数をマーキングして放り込んでるだけ
何がモナドと関係無いって言ってんのかをはっきりしろよボケナス
・副作用する手続きを示す値を組み立てて適当な時に実行する
・副作用する関数をラップしてる
↑こんなのはどっちも糞アスペでなけりゃ同じこと言いたいんですね、ってわかんだよ糞アスペ
さっさと消えとけボケナス
55:デフォルトの名無しさん
24/12/23 18:30:33.55 INK0hSQF.net
「モナドは副作用を実現するものだ」とは言うが、「Functorは副作用を実現するもの」「Applicativeは副作用～」「Monoidは～」「Semigroupは～」などとはまず言われないという不自然な非対称性がある。
結局、モナド・圏・抽象代数などを理解するのに必要な数学の習熟度が足りない人たちが、いい加減なたとえ話でわかったつもりになるから、おかしな言説がまかり通る。
56:デフォルトの名無しさん
24/12/23 18:31:55.29 r1F3GSjz.net
>>54
一生懸命調べてきたのかな？
偉いね(笑)
57:デフォルトの名無しさん
24/12/23 18:40:46.58 CeQg/DvO.net
>>55
>「モナドは副作用を実現するものだ」とは言うが、
だから誰がそんなトンチンカンなことを言ったんだよ
お前がいい加減に斜め読みした他人の文章が
お前のお粗末な脳内でさらに劣化してデフォルメされてるだけだろう
自分の脳内世界から見て現実をありのままに見ろ
>>56
何も一生懸命調べてねーんだよ
最初から頭に入ってることを
多少他人の言い回しを借用して言い換えただけだぞ
Wikipediaを3秒見ただけだ
そして3秒でやっぱりお前がアホなだけだと確信したわ
自分の偏りを理解してさっさと消えとけ糞アスペ
58:デフォルトの名無しさん
24/12/23 18:41:27.63 CeQg/DvO.net
>>57
>自分の脳内世界から見て現実をありのままに見ろ
自分の脳内世界から出て現実をありのままに見ろ
59:デフォルトの名無しさん
24/12/23 18:42:28.31 CeQg/DvO.net
馬鹿向けに殴り書きしてるとtypoが増える
それにしても釣りカスのレスはえーな
いちいちIDコロコロして似たようなアホなこと書いてるしな
60:デフォルトの名無しさん
24/12/23 18:45:59.22 CeQg/DvO.net
釣りカスがマウンティンしてるつもりの馬鹿なプログラマってどこにいるの？
具体的なソースだしてみろよカス
61:デフォルトの名無しさん
24/12/23 18:55:32.59 9dySAZt1.net
素直に自分の勘違いを認められないってのは、みっともないもんだね。
62:デフォルトの名無しさん
24/12/23 19:03:02.69 CeQg/DvO.net
>>61
誰に言ってんのかはっきりしろよアフォ
63:デフォルトの名無しさん
24/12/23 19:04:50.34 CeQg/DvO.net
誰に言ってんのか分からないアホも黙るまでぶっ叩くわ
ウザ過ぎんだよ
公共のネットにははっきり書け
64:デフォルトの名無しさん
24/12/23 19:06:20.48 CeQg/DvO.net
5chで句点付けてる奴はどうせガイジ
65:デフォルトの名無しさん
24/12/23 19:08:05.48 CeQg/DvO.net
話を逸らすレスしか出来ない負け犬雑魚過ぎんだろ
66:デフォルトの名無しさん
24/12/23 19:13:54.62 dBsA0n7Y.net
ボケナス！！
67:デフォルトの名無しさん
24/12/23 19:19:26.93 cj3BzHJ5.net
素直に勘違いを認めるか、そうしないまでもそっとスレを閉じて外の空気でも吸っていればいいのに、こんな下らないことにいつまでも固執して、異常な人だなぁ……。
68:デフォルトの名無しさん
24/12/23 19:29:51.68 HEAHA23Z.net
IOモナドと副作用
URLﾘﾝｸ(haskell.jp)
こういう入門的なページにもきちんと書いてあるのにね。
69:デフォルトの名無しさん
24/12/23 19:32:36.47 CeQg/DvO.net
>>67
アホブーメラン野郎まだ言いたいことがあるの？
中身無いくせに
70:デフォルトの名無しさん
24/12/23 19:36:50.52 CeQg/DvO.net
>>68
読み始めて2秒で文体が臭いんだよ
こんなもん底辺臭い文章貼って何が言いたいのか要約しろやカス
要約も出来ない低能はもう喋るな
そもそも釣りカスがぶっ叩かれてる理由が把握できてねーのか糞アスペ
変な底辺文章見たぐらいで無条件にプログラマ全体をディスってるからだぞ
文脈読めない糞アスペは10年黙って空気を読む修行しろ
71:デフォルトの名無しさん
24/12/23 19:37:55.96 SVg94G86.net
所で、この板にいる人たちってどのぐらいのレベルなの？
組み込みOS作れるぐらいのレベル？
72:デフォルトの名無しさん
24/12/23 19:42:30.30 CeQg/DvO.net
>>68
どこの記述がそんなに気に入らないのかはっきり書いてみろカス
別にモナドはIOだけのものではないことも書いてるじゃねーか
73:デフォルトの名無しさん
24/12/23 19:44:05.56 CeQg/DvO.net
>>71
低レイヤーやってるのが無条件に偉いとでも思ってるアホかな？
いろんな得意分野の奴がいるに決まってるだろ糞アホ
74:デフォルトの名無しさん
24/12/23 19:44:34.78 CeQg/DvO.net
>>71
IDコロコロしながらあからさまに話逸らして何してんの
アホなん？
75:デフォルトの名無しさん
24/12/23 19:47:18.96 CeQg/DvO.net
数学でもいくらでもくっさい入門記事書いてるやついるだろ
釣りカスは素直に非礼を詫びて10生ぐらい黙っとけ
76:デフォルトの名無しさん
24/12/23 19:55:37.98 dBsA0n7Y.net
バーカバーカ
77:デフォルトの名無しさん
24/12/23 19:58:48.39 CeQg/DvO.net
発狂して幼児化したのか
それにしてもこんなにIDコロコロしても完全に無意味なアホはいないだろ
前世で毎日サルの脳みそでも食ってたのか？
78:デフォルトの名無しさん
24/12/23 20:04:44.74 SVg94G86.net
こういうレベルってこと？
79:デフォルトの名無しさん
24/12/23 20:09:39.08 IYym/Qpz.net
ついに自演しだしたか・・・
80:デフォルトの名無しさん
24/12/23 20:14:10.62 fjEWOd61.net
IO型におけるRealWorldは、現実世界をラップして副作用を除去するというより、
遅延評価がデフォルトなHaskellにおいてアクションの実行順を保証する役割が大きい
81:デフォルトの名無しさん
24/12/23 20:17:27.10 CeQg/DvO.net
>>80
それも同じことだろ
同じ糞アスペか？
出鱈目な順番で評価したらいけない部分は分離しないといけない
ずっと同じこと言い換えてるだけで釣りカスの主張は完全に無意味
82:デフォルトの名無しさん
24/12/23 20:21:16.39 CeQg/DvO.net
順番守って組み合わせられるオペレーター作るのに圏論が使えたから使っただけ
こう言ったら次は糞アスペが糞アスペ解釈して
圏論は順番守るためのものじゃないとか言い出すの？
糞アスペの糞アスペな曲解のパターンなんかありふれてるから大体想像つくけど
83:デフォルトの名無しさん
24/12/23 20:33:06.15 CS8/+5Xl.net
苦し紛れにどんどん意見を修正する(笑)
ま、勉強になってよかったね
84:デフォルトの名無しさん
24/12/23 21:22:25.36 s12jhlJ/.net
一度間違っちゃったから、何がなんでも副作用をモナドにこじつけなきゃ平静を保てないんだね
85:デフォルトの名無しさん
24/12/23 21:26:03.24 ZF+zBOsX.net
GHC IO モナドの中身
URLﾘﾝｸ(mizunashi-mana.github.io)
86:デフォルトの名無しさん
24/12/23 21:38:59.83 c6E2tYju.net
GHCの実装では、内部でガッツリ状態更新してるし、当たり前だがランタイムはIOアクションを実行しているのな
87:デフォルトの名無しさん
24/12/23 21:46:56.21 hPZuxk7v.net
更新してるのはRealWorldの値なので副作用は無いじゃん
88:デフォルトの名無しさん
24/12/23 21:59:06.89 Vx916HrX.net
内部実装とセマンティクスの区別ができないアホ
89:デフォルトの名無しさん
24/12/23 23:59:59.74 tEyQblGG.net
処理系が状態もつのは当たり前やん
90:デフォルトの名無しさん
24/12/24 00:44:36.34 BmNSUk0B.net
副作用っつーより単に逐次処理がモナドってだけだよねこれ
91:デフォルトの名無しさん
24/12/24 00:54:22.29 ARNiUr7/.net
IOアクションは、IDを受け取って新しいIDと値の組を返すだけ
それを処理系が評価するとアクションが実行される
IDの依存関係が解決される順番でアクションの実行順が決まる
92:デフォルトの名無しさん
24/12/24 03:58:43.83 vBbtDI9C.net
>>90
モナド則をどう弄ろうが入出力も乱数も現在日時も出てこないし
93:デフォルトの名無しさん
24/12/24 08:21:59.19 HglNRhzS.net
>>83
こっちの言うことは何も変わってねえんだよ
お前も間違ってるまんまだな糞アスペ
94:デフォルトの名無しさん
24/12/24 08:23:40.24 HglNRhzS.net
>>83
いい加減自分が文脈読めない糞アスペだからアフォな文句言ってただけという現実をありのままに認めろアフォ
95:デフォルトの名無しさん
24/12/24 08:24:30.56 HglNRhzS.net
他の奴からもボコボコにされてて草
俺はコロコロしてないからなｗ
96:デフォルトの名無しさん
24/12/24 08:25:58.59 HglNRhzS.net
>>85
必死すぎ
賢そうなリンク貼るだけのハッタリがまだ効くと思ってるあたりマジでアホだろ
97:デフォルトの名無しさん
24/12/24 08:37:11.38 HglNRhzS.net
>>85
実装がそうだから結局何だと言いたいのかハッキリしろよ
釣りカスは何に文句つけてんだか未だに具体的なことを言えてない
馬鹿はてめーだろ
98:デフォルトの名無しさん
24/12/24 08:39:55.76 HglNRhzS.net
>>78
ボコられながらこれを言うバレバレのIDコロコロ厨糞アホ
99:デフォルトの名無しさん
24/12/24 08:41:22.74 BQAR7b66.net
朝から5chにはりついて
100:デフォルトの名無しさん
24/12/24 08:46:04.72 HglNRhzS.net
ぶっちゃけ糞アスペがどういう誤解に基づいてわけわからんことを言ってるのか
未だに理解しきれてない俺
糞アスペ言語読解ゲームは糞ゲーだがハマる
くだらないの分かってるけどクリアしたくてイライラしてる
101:デフォルトの名無しさん
24/12/24 08:46:56.71 HglNRhzS.net
>>99
通勤時の暇つぶしだぞ社会人エアプかな？
102:デフォルトの名無しさん
24/12/24 10:01:17.62 sV9balxQ.net
>>100
あなただけがデタラメな妄想を信じているだけかと
103:デフォルトの名無しさん
24/12/24 10:18:31.65 Dwh4tSEB.net
>>68
ifIO :: Bool -> IO a -> IO a -> IO a
ifIO b act1 act2 = case b of
True -> act1
False -> act2
これ、遅延評価だからactを引数に渡しても評価されないのか
104:デフォルトの名無しさん
24/12/24 12:10:44.19 HglNRhzS.net
>>102
これだけいろんな奴に叩かれても目が覚めないとは重症だな
コロコロしてるのお前だけだろアフォ
105:デフォルトの名無しさん
24/12/24 12:14:29.18 HglNRhzS.net
>>103
そこからかよ
IO以前に遅延評価なんで疑問覚えるところじゃない
106:デフォルトの名無しさん
24/12/24 12:20:05.11 HglNRhzS.net
釣りカスはだんだん誤解に気づいて恥ずかしくなってきても
本音の上にある意識のレイヤーが防衛機構を起動して
相手が意見を修正してきたｗｗに認知を歪めてるからな
こういう物事をありのままに見えないクズは何をやっても駄目だ
こういう馬鹿は意見を聞く前に人格批判から始めないとキリがないのだ
人格否定も必要な時はある
この世の全てはケースバイケースで文脈が重要なのだよ
糞アスペはそういうことを理解したくもないのだろうが早く現実に慣れろ
107:デフォルトの名無しさん
24/12/24 13:10:33.21 WRBOPf2Q.net
>>101
働いてなんかないくせに・・・ｗ
108:デフォルトの名無しさん
24/12/24 13:11:32.75 JJYwuNHA.net
この人を動かす原動力は何なんだろ
病気だよ
109:デフォルトの名無しさん
24/12/24 13:46:01.97 H1ak+9Or.net
>>3
誤 Haskellはモナドで副作用を実現している
正 HaskellにおいてIOモナドは手続きの逐次実行を表現しており、副作用には関与していない
110:デフォルトの名無しさん
24/12/24 14:01:06.42 5MVM6Xu0.net
書いてること・言ってることが正しい/間違いを判断する思考力が欠けている
「教科書を読めない子どもたち」にも書いてあった
111:デフォルトの名無しさん
24/12/24 14:57:24.08 pUP7kTV8.net
Functor f
a -> b を f a -> f bに持ち上げる
Applicative f
a -> b -> ... を f a -> f b ->... に持ち上げる
Monad f
a -> f b を f a -> f bに持ち上げる
112:デフォルトの名無しさん
24/12/24 17:03:31.87 q8g38Euy.net
まず思考法が間違ってる
IOという具体的なデータ型があって、それが一定の規則を満たすから、モナドのインスタンスになる
モナドがIOのためにあるわけではない
113:デフォルトの名無しさん
24/12/24 18:10:28.03 KhI5ZQ2V.net
>>107
妄想だけがお前の武器だな
完全な負け犬糞アホ
114:デフォルトの名無しさん
24/12/24 18:13:09.25 KhI5ZQ2V.net
>>109
お前の脳内辞書の「関与する」の範囲が狭過ぎるから
普通の自然言語で書かれた文章を理解できないだけなんだよ糞アホ
だからお前はただの糞アスペだって言ってんだろ
リアルで働いてないのはお前だろうが引っ込んでろ
115:デフォルトの名無しさん
24/12/24 18:15:36.49 KhI5ZQ2V.net
そもそも「副作用に関与する」なんて言いたいことは分かるがガバガバ過ぎる文章を実際に書いたプログラマーって誰？
ソース出して見ろカス
釣りカスがマウンティンできるような馬鹿なプログラマの実在を示すソースをさっさと出せよゴミ
どうせ糞アスペと糖質を併発したガイジの妄想だろ
116:デフォルトの名無しさん
24/12/24 18:18:25.66 KhI5ZQ2V.net
>>109
誰の書いた文章？
空気と戦ってないでリアルに戻ってこいよ
117:デフォルトの名無しさん
24/12/24 18:19:36.62 KhI5ZQ2V.net
>>108
バレバレのコロコロばっかして恥ずかしくないお前が病気なんだよ
118:デフォルトの名無しさん
24/12/24 18:25:01.41 KhI5ZQ2V.net
>>110
誰のこと言ってんの？
該当するのは釣りカスだと思うがハッキリしろ
常識人が書いてるのかガイジが書いてるのか分からんので
他人は常識に基づいてニュアンスを判断することもできないんだわ
はっきり書けコロコロカス
>>3
書いてるとおりにググってそんなに変な記事ヒットしねえだろ
お前の脳内妄想か
緩い自然言語の文章の文脈が分からない糞アスペがアスペ解釈してるだけだな
119:デフォルトの名無しさん
24/12/24 18:26:06.32 DFYIgg57.net
コンピュータサイエンスを修めてるわけでも、大学以上の数学を理解できるわけでもなく、
Qiitaのゴミ記事でおぼえた関数型ポエムが技術者として唯一のアイデンティティなんだろうな
120:デフォルトの名無しさん
24/12/24 18:27:17.95 KhI5ZQ2V.net
>>68
どこらへんにイチャモンつけてんのか
はっきり引用して一つぐらい具体的なこと言ってみろ
ググってすぐ上の方にヒットするサイトだろそれ
そのサイトにイチャモンつけてるという理解
さあ早く具体的な主張を誤魔化さずにしろ釣りカス
121:デフォルトの名無しさん
24/12/24 18:28:20.88 DFYIgg57.net
>>120
この国語の低さ
122:デフォルトの名無しさん
24/12/24 18:28:52.55 KhI5ZQ2V.net
>>119
プログラマ馬鹿にしてるお前が結局何なのかはっきりしろよ
だからお前は馬鹿なんだよ
誰もお前がどんな文脈で文句つけてるのか理解しないぞ
単純にお前がお前自身のことをはっきり書いてないからだ
とんでもない馬鹿だな
123:デフォルトの名無しさん
24/12/24 18:29:28.82 KhI5ZQ2V.net
>>121
国語が低いとかいう幼児語じみた書き方をナチュラルにするやつ
124:デフォルトの名無しさん
24/12/24 18:31:49.05 KhI5ZQ2V.net
>>121
国語力が壊滅的なのはお前だろう
お前の書いたことはこういう風にしか解釈しようが無いって教えてやってんだぞ
論理なんか語る資格もないぐらい曖昧でボケた物言いしか出来てないカスのくせに
それで苦労してきたからって発狂してネットにゴミばかり書くなよ
さっさと消えとけ
125:デフォルトの名無しさん
24/12/24 18:36:56.87 KhI5ZQ2V.net
何を言われても話を逸らして誤魔化すしか出来ない雑魚なのに
なんで人を煽ってレスバしようなんて思ったの？
アホなん？
126:デフォルトの名無しさん
24/12/24 18:37:25.89 KhI5ZQ2V.net
別に誤魔化せてるとは言ってないからな
全てがバレバレだぞ
127:デフォルトの名無しさん
24/12/24 18:38:00.67 w8wK7ro5.net
>>68や>>85には「IOモナドは副作用とは関係ない」ということがまさに書かれているわけだが、「それのどこに文句があるんだよ」というすっとぼけをかまし始める（笑）
128:デフォルトの名無しさん
24/12/24 18:41:45.97 w8wK7ro5.net
「Haskellの標準的な処理系で>>20みたいなことはやっていない」というソースを出されて、反論が出来ないので、
相手は提示したソースにイチャモンをつけてるととぼけ出し、「それのどこに文句があるんだよ」とか言い出す
知恵を働かせたなあ、と感心する
129:デフォルトの名無しさん
24/12/24 18:48:07.10 KhI5ZQ2V.net
>>127
>>128
お前の言う関係ないってなんだよ糞アホ
リンク先の記事書いた奴もお前の解釈ほど関係ないなんて意味で書いてねーよ糞アホ
だからお前は単なる糞アスペなんだよ
お前はもう俺の発言の意図はいい加減理解できただろうから
今度はどうして正しく最初から解釈出来なかったのか反省しとけ糞アスペ
それでお前が叩いてる馬鹿なプログラマのポエムがどこにあるのかいい加減はっきりしろよ
結局お前の妄想だろう
130:デフォルトの名無しさん
24/12/24 18:50:52.70 KhI5ZQ2V.net
>>128
>「Haskellの標準的な処理系で>>20みたいなことはやっていない」というソースを出されて、
お前の解釈した「みたいなこと」ってなんだよアホ
俺は具体的な処理の手順なんか何も書かずに
抽象的に話しかしてないのに
他の奴の言葉を借りれば実現するべきセマンティクスの話しかしていない
馬鹿？
最初から間違ってるのはお前のアスペ解釈だけなんだよ糞アホ
131:デフォルトの名無しさん
24/12/24 18:55:00.23 KhI5ZQ2V.net
>>128
こっちは最初から「何のためにこういうことをやってるか」って話しかしてねーんだよ
いい加減自分の解釈のおかしさを自覚しろ
他人の書いた文章も同じことだ
お前ごときが叩けると勘違いした馬鹿な文章とやらを全部読み直せ糞アホ
目的意識の欠落は糞アスペの典型的症状
目的ありきで動く他人の意図を全然理解できない
きっと苦労してるか苦労する機会すら無い引きこもりだろう
現実に戻ってこい
132:デフォルトの名無しさん
24/12/24 18:59:35.01 KhI5ZQ2V.net
本当に他の奴が書いてたように
セマンティクスの話と実装の話を区別出来ないような大馬鹿だったんですか？
想像を絶する馬鹿だな
IQ低過ぎて測定不能だろ
133:デフォルトの名無しさん
24/12/24 19:00:18.49 daOBi3rH.net
あなた病気だから、このスレ印刷してお医者さんに読んでもらいなさい。
134:デフォルトの名無しさん
24/12/24 19:05:17.20 KhI5ZQ2V.net
>>133
もう何も言い返せないんだな
素直に反省して消えとけ糞アホ
お前みたいなアホが癒される場所なんか無いから諦めろ
135:デフォルトの名無しさん
24/12/24 19:06:27.36 w8wK7ro5.net
心に穴が空いちゃってるから、何をしても満たされないのでしょう。
136:デフォルトの名無しさん
24/12/24 19:45:44.00 KhI5ZQ2V.net
>>135
句点付きのガイジ率は異常(統計学)
137:デフォルトの名無しさん
24/12/24 19:46:46.66 KhI5ZQ2V.net
>>135
穴が空いてるのはお前の脳みそだろう
ゴミスレ立てたことをさっさと反省しとけカス
138:デフォルトの名無しさん
24/12/24 20:16:01.41 N71eSB20.net
まだやってんのか
異常だよあんた
139:デフォルトの名無しさん
24/12/24 20:31:42.06 ps26Bxu2.net
クリスマスの夜に5chのクソスレでID真っ赤にしてる奴ｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ
140:デフォルトの名無しさん
24/12/24 20:41:55.62 Mj45/8VK.net
頭が悪いなら、頭使うことからは距離を置けばいいのに
賢く見られたい欲ばかりで、物事を理解するために必要な努力をしないから、トンデモに走ってしまう
141:デフォルトの名無しさん
24/12/24 21:55:08.53 5ak3ea6n.net
懲りないやっちゃ
142:デフォルトの名無しさん
24/12/25 01:26:39.27 yW1da+j3.net
>>140
しつこくバレバレのコロコロして誰の話してんの？
自己紹介にしか聞こえないが？
143:デフォルトの名無しさん
24/12/25 01:27:26.10 yW1da+j3.net
>>139
ただの平日だよ糞ニート
144:デフォルトの名無しさん
24/12/25 08:39:30.48 /Bom5hk0.net
チクチク言葉が好きな人たちだ
145:デフォルトの名無しさん
24/12/25 08:55:06.31 ON5/J6mU.net
論破されたから自演しか言う事が無いらしい
146:デフォルトの名無しさん
24/12/25 09:05:51.18 y5LeTFKO.net
こいつは何がしたいんだろうね
147:デフォルトの名無しさん
24/12/25 09:53:43.93 xpHDaHf9.net
抽象化ということがわかっていない
Maybe、List、IOなどの具体的なデータ型があり、それはモナドである
モナドはIOではない
148:デフォルトの名無しさん
24/12/25 11:23:17.82 fHw4gjzT.net
朝から5chに貼りついて
149:デフォルトの名無しさん
24/12/25 11:43:14.24 sEjXY6o4.net
>>147
入出力をラップしたデータのデータ型は、入力と操作の結合に関してモナドになる
モナドは入出力とは関係がない
150:デフォルトの名無しさん
24/12/25 11:53:35.54 +O96JyK0.net
∧＿∧ ／￣￣￣￣￣
（ ´∀｀）＜ オマエモナー
（ ） ＼＿＿＿＿＿
│ │ │
（＿_）___）
151:デフォルトの名無しさん
24/12/25 12:08:06.16 sEjXY6o4.net
整数の全体ℤは加法に関して群をなす
一方、ℤは最大公約数が定義できる、素因数分解の一意性が成り立つなどの性質もあるが、それは群の性質ではない
それと同じこと
152:デフォルトの名無しさん
24/12/25 12:11:08.69 sEjXY6o4.net
また、モナドなのはIO aという「型」であり、IO a型の具体的なオブジェクトではない
153:デフォルトの名無しさん
24/12/25 12:13:33.05 yW1da+j3.net
>>145
論破されてるのお前だろ糖質
>>147
モナドの話とIOモナドのざっくりした話をゴチャゴチャにしてるのはお前だろう
最初からお前の一人相撲
まさに糞アスペ
154:デフォルトの名無しさん
24/12/25 12:15:02.35 yW1da+j3.net
>>151
お前の勘違いと何の関係も無い話だよ
155:デフォルトの名無しさん
24/12/25 12:19:06.64 yW1da+j3.net
>>152
「～である」という表現の意図の問題だな
お前はやっぱり糞アスペ
他人の言うことの意図がさっぱり分からないし
分かろうともしないコミュ障
156:デフォルトの名無しさん
24/12/25 12:27:50.96 yW1da+j3.net
>>147
誰に文句つけてんだか
それが分からない人ってどこにいるの？
157:デフォルトの名無しさん
24/12/25 12:31:44.41 yW1da+j3.net
モナド型の変数であるというのを
その変数はモナドだとか言ったらアスペが発狂するらしい
自然言語で会話不可能だろ
158:デフォルトの名無しさん
24/12/25 12:33:05.51 yW1da+j3.net
もうどういう拘り持った糞アスペなのかだいたい分かった
糞ゲーだったがだいたいクリアした感じ
159:デフォルトの名無しさん
24/12/25 12:38:42.87 sEjXY6o4.net
>>157
1は群である
1は素元分解整域である
1はユークリッド整域である
これは間違っているし、そもそも意味をなさない
160:デフォルトの名無しさん
24/12/25 12:40:16.81 sEjXY6o4.net
細かいことを指摘されていると思っているようだが、
自分が根本的にデタラメな理解をしていると自覚したほうがいい
161:デフォルトの名無しさん
24/12/25 12:41:24.49 yW1da+j3.net
>>159
だから何？
文脈読め
そして具体的にどんな発言や文章にイチャモンつけてるのかいい加減はっきりしろよな
それをはっきりさせれば「お前が普通の自然言語の文脈読めないアスペなだけ」で議論終わるのわかってるから話を逸らしてんだろう
162:デフォルトの名無しさん
24/12/25 12:43:52.58 yW1da+j3.net
>>160
お前が勝手に他人が数学の定義でも何でもない話してる時にマイルール適用する出鱈目やってんだよ
そもそもお前も曖昧な自然言語の定義に依存して話してる自覚ない非論理的なアホだからな
お前の発言こそ文脈読んで貰わないとわけわかめなんだよ低能
163:デフォルトの名無しさん
24/12/25 12:46:06.78 yW1da+j3.net
>>160
誰も厳密な定義の話はしておらず
文脈読めない糞アスペ解釈の無意味さと非生産性と非合理性と無目的性を指摘してるだけだぞ
何の話してるのか意識しない糞アスペ
文脈自由言語じゃねえんだよアホ
164:デフォルトの名無しさん
24/12/25 12:46:39.59 sEjXY6o4.net
>>3
「モナドで副作用を実現している」というのは「群論で足し算を実現している」というくらい意味不明な言い方だ
分かっている人はこんな表現はしない
165:デフォルトの名無しさん
24/12/25 12:49:27.85 sEjXY6o4.net
「モナド」と「副作用」
同じ文脈に出てきた語を意味を考えずにただ並べれば相手が良いように解釈してくれると思っているアホ
166:デフォルトの名無しさん
24/12/25 12:50:19.71 yW1da+j3.net
>>164
だから誰がどこでそんな表現したんですか？
どのくらいアバウトな感じの状況で話したことにケチつけてんのかハッキリしろカス
どうせ糞アスペ
167:デフォルトの名無しさん
24/12/25 12:54:20.48 yW1da+j3.net
せいぜいHaskellで入出力したかったらモナド(関連クラスやオペレーターの使い方)が分からないといけないよーぐらいの何でもない表現にケチつけてんだろう
糞アスペだからな
そしてこういうのを「関係ない」って言い切るのが自然で厳密だと言って憚らないアフォ
論理的でもなんでもないアフォなんだわ
168:デフォルトの名無しさん
24/12/25 12:54:33.62 yW1da+j3.net
ただの言語障害なんだね
169:デフォルトの名無しさん
24/12/25 13:03:50.20 yW1da+j3.net
>>164
「モナドで副作用を実現している」
→ 基本的に副作用を許さないし評価順も保証されないHaskellの上で
副作用を伴う関数をまともに使える仕組みを実現するために
モナドに基づいた型の階層とオペレーターの定義をしてるんですねー
普通の言語感覚でこれは「実現」の一種ですねー
「群論で足し算を実現している」というくらい意味不明な言い方だ
→どう穴埋めしろってんだよ
糞アスペだから違いがわからないだけ
同じアホでも真実に近いアホと真実から限りなく遠いアホがいるが
こいつは後者であり存在自体が無意味
170:デフォルトの名無しさん
24/12/25 13:05:05.81 yW1da+j3.net
糞アスペの弾圧は俺にとってサブサブサブライフワークぐらいの位置づけなので適度に徹底的にやるで
171:デフォルトの名無しさん
24/12/25 13:24:30.66 4Cv5z88t.net
やっぱレスバは盛り上がるなあ
172:デフォルトの名無しさん
24/12/25 13:48:43.97 6UmK23y8.net
技術的内容は皆無でああ言えばこう言う状態
平日の昼から暇なこった
173:デフォルトの名無しさん
24/12/25 13:50:36.78 39wXzR5E.net
>>169
モナドは副作用とは関係ない
IOモナドが表現しているのは手続きの逐次実行
174:デフォルトの名無しさん
24/12/25 13:51:37.83 39wXzR5E.net
>>167
Haskellで入出力をするのにモナドを理解している必要は全くない
整数の足し算をするのに群論を理解する必要がないのと同様
175:デフォルトの名無しさん
24/12/25 13:56:10.39 O0ccYqvb.net
ここまで技術的に全く意味をなしていないデタラメを書き連ねていたのが、いろいろ学習したのか、>>167あたりになってようやくアジャストしてきた
が、まだまだ誤りだらけ
やり直し
176:デフォルトの名無しさん
24/12/25 13:56:30.19 +O96JyK0.net
論破ゲーム、反論してる間は正しい
177:デフォルトの名無しさん
24/12/25 14:25:53.85 t6S+JnLO.net
List型はモナドで、Listはインデックスによる要素へのアクセスやソートができるが、これはモナドとは関係ない
「モナドで副作用を実現している」というのは「モナドでリストのソートを実現している」というのと同様に誤り
178:デフォルトの名無しさん
24/12/25 15:26:52.40 PDJSnv/I.net
プログラミングで出るのはアドレナリンじゃなくてドーパミングク
179:デフォルトの名無しさん
24/12/25 16:17:13.77 XW5pEoh0.net
Ken〇kabeみたいに、異常な信念に基づいて自己実現を試みる人はどこにでもいるからなぁ
180:デフォルトの名無しさん
24/12/25 18:03:32.37 gCwU3zln.net
ある技術が裏で高尚で神秘的なことをしていると信じて、「俺はそれを知ってるぜ」って得意気になるのだけが生き甲斐
181:デフォルトの名無しさん
24/12/25 18:26:16.57 KZ6pB4/x.net
自分を飾りたいんよ
ものの本質はさておき
彼らにとったら全てはアクセサリーに成り下がる
ある種の権威主義なんよね
なにかを使って自分をアピり続ける人ってのは
それが威光を放てるかどうかはすでに見定めてる
182:デフォルトの名無しさん
24/12/25 18:31:43.04 yW1da+j3.net
>>174
モナドそのものの話をしてるのか
Haskellのモナドクラスの使い方の話をしてるのか
文脈読めないアホなんですね
いい加減引っ込め糞アホ
アスペ以前にただのアホだな
183:デフォルトの名無しさん
24/12/25 18:34:17.60 yW1da+j3.net
>>175
お前が人生やり直せよ
脳の物理的な問題なんじゃないの？
184:デフォルトの名無しさん
24/12/25 18:36:52.32 yW1da+j3.net
>>180
(Haskellの)モナドをだいたい使えるようになった頃には
そんなに高尚な話じゃねえんだなあ、てみんな分かると思うよ
お前が叩きやすい絵に描いたようなアホなんか実在しないよ
お前のせいでいちいち(Haskellの)って書くの面倒なんだけど？
いい加減文脈読むこと覚えないと迷惑なのが分かんだろ
論理的に考えて
185:デフォルトの名無しさん
24/12/25 18:39:01.91 yW1da+j3.net
>>181
自己紹介コロコロガイジ糞アホ
几帳面に毎回コロコロして何の意味あんの？
同じようなアホ発言してたらバレバレに決まってんだろ
ちなみにIDコロコロのことだぞ(糞アスペ向けフォロー)
186:デフォルトの名無しさん
24/12/25 18:42:52.36 yW1da+j3.net
>>177
モナドの応用の一つで実現してんだよ
それが健常者の言語感覚だといい加減分かれ糞アホ
そしてHaskellのモナドクラスとオペレーターの話をみんなしてんだよ
勝手にHaskellと関係ないモナドの話に置き換えて赤の他人の話を解釈して意味不明な文句つけてんじゃねーよ
お前こそ抽象と具象の区別もつかない糞アホじゃねえか
187:デフォルトの名無しさん
24/12/25 18:44:29.15 yW1da+j3.net
>>175
こっちは何もアジャストしてねえんだよ
お前みたいな馬鹿向けの翻訳を多少してやってるだけなんだよ
お前が間違いを認めざるを得なくなってるだけだろ糞アホ
低能アスペの落書きなんかニーズ無いからもう黙っとけ
188:デフォルトの名無しさん
24/12/25 18:46:37.95 yW1da+j3.net
>>175
もはや誤魔化しようもない突っ込みに安価して余裕ぶっこいてるつもりのアホ
お前はとりあえず現実を見ることを覚えろ
189:デフォルトの名無しさん
24/12/25 18:47:51.10 yW1da+j3.net
>>176
別に釣りカスの反論は何も正しくないぞ
190:デフォルトの名無しさん
24/12/25 18:49:28.44 yW1da+j3.net
ワク推しのゴミ論法と全く同じだな
カスってみんな似てるわ
191:デフォルトの名無しさん
24/12/25 18:58:28.56 yW1da+j3.net
論点ずらしかあからさまな嘘しか書かないゴミ
まさにワク推しと同類
192:デフォルトの名無しさん
24/12/25 19:00:39.41 yW1da+j3.net
ワクチンの話題はリトマス試験紙だ
全てのゴミスレに導入してもいい
193:デフォルトの名無しさん
24/12/25 19:26:45.10 4RxebNON.net
>>186
副作用はモナドの応用ではない
Qiitaのポエムで妄想膨らませてないで一次情報を読め
194:デフォルトの名無しさん
24/12/25 19:36:09.65 yW1da+j3.net
>>193
応用する側の勝手なんだよ馬鹿
やはり物事の因果関係がわからないアフォ
195:デフォルトの名無しさん
24/12/25 19:37:07.47 SkWW0Eag.net
思考順が逆
モナドを応用して副作用を実現しているのではない
副作用の実行を表現するデータ型が、操作の結合に関してモナドになる
モナドをどう応用したって副作用は実現できん
196:デフォルトの名無しさん
24/12/25 19:43:51.49 yW1da+j3.net
>>193
>副作用はモナドの応用ではない
副作用はモナドの応用であるなんてバグった要約したら
俺の書いたことと似ても似つかんだろ
お前の脳みそがバグってんだよ
やっぱり相変わらず何に文句つけてんだか意味不明
言いたいことが分かりかけたような気がしたが
ランダムな信号に意味を見出そうとしても無駄かもしれんな
197:デフォルトの名無しさん
24/12/25 19:44:43.09 yW1da+j3.net
>>195
お前の中で応用という単語がどういう定義になってんだよ
ペチャクチャ喋る前に辞書を引け糞ガキ
198:デフォルトの名無しさん
24/12/25 19:46:57.75 DTAourFQ.net
こういうのをスクリプトかなんかで連投して嫌がらせするなら分かるけど、律儀に返信してるあたりほんとに病気なんだろうな
199:デフォルトの名無しさん
24/12/25 19:55:53.02 nyl4dMen.net
モナドとはXをみたすものである
Aを表現するデータ型は、それに対する操作BがXをみたすからモナドである
Aはモナドに関係ない
ということがいつまで立っても分からない
200:デフォルトの名無しさん
24/12/25 20:02:05.42 nyl4dMen.net
IO型は様々な性質A, B, C, ...を備えている
このうちBがモナドの条件をみたすからIO型はモナドである
AやCはモナドとは関係がない
ということが何遍言われてもわからない
201:デフォルトの名無しさん
24/12/25 20:04:12.34 yW1da+j3.net
>>199
分かってないのはお前だろ
モナド則に従ってるIOモナドは一般的なモナド用のオペレーターで合成したり変換して破綻しない
何が不満なんだよ糞アホ
202:デフォルトの名無しさん
24/12/25 20:07:03.75 yW1da+j3.net
>>200
IOモナドを合成してもIOを実行するべき順番という情報が維持できるのは
リストモナドが順番を保持したまま合成できるのと同じだ
そこから分からない馬鹿だったか
もしかしてなーんにも分かってないアホだったのか？
203:デフォルトの名無しさん
24/12/25 20:08:41.69 yW1da+j3.net
リストがモナドだと分かって
IOの羅列がモナドだと分からない低能
204:デフォルトの名無しさん
24/12/25 20:09:23.58 yDmK1kJF.net
IO型は入出力のアクションを表現するデータ型である
IO型は型構築およびアクションの結合に対してモナド則をみたす
ゆえにIO型はモナドになる
入出力とモナドは関係が無い
ということが何度言われてもわからないらしい
205:デフォルトの名無しさん
24/12/25 20:10:17.84 KZ6pB4/x.net
なにこの連投ｗ
206:デフォルトの名無しさん
24/12/25 20:11:36.76 yW1da+j3.net
>>204
モナド則を満たすってことを
IOの順番の情報を維持することに使ってることがわからないアホ
ここまで何も分かってないだけだったとは
207:デフォルトの名無しさん
24/12/25 20:12:22.19 yW1da+j3.net
いやもう、これ>>203で話終わってるから
208:デフォルトの名無しさん
24/12/25 20:15:55.35 yW1da+j3.net
副作用を伴う処理は順番に実行することが大切で
順番という情報が大切で
リストと共通しているということが実は理解できてなかったアホなんですね
やっと1ミリぐらい腑に落ちました
209:デフォルトの名無しさん
24/12/25 20:21:58.00 YSzIfMqA.net
>>68や>>85で勉強して、さっそく主張をすり替えてきました（笑）
210:デフォルトの名無しさん
24/12/25 20:27:09.77 YSzIfMqA.net
>>20「Haskellではモナドの理論を利用して副作用のある世界をラップして純粋な世界との辻褄合わせに利用してるって話だろ」
と言ってたのが、>>109や>>173に言われてしれっも
>>206「モナド則をIOの順番の情報を維持することに使ってる」
とすっとぼける（笑）
211:デフォルトの名無しさん
24/12/25 20:31:46.99 3mrDuS6Q.net
素直に勘違いや理解不足を認めず、「自分は最初からこう言っていた」と言うことで精神の安定を図るアホ
212:デフォルトの名無しさん
24/12/25 20:44:32.90 /0krV4FV.net
seq演算子等を使えば強制的に評価できるので、順序を保つためなら、IOをモナドとして実装する必要性は無い
213:デフォルトの名無しさん
24/12/25 20:50:41.92 Rt5IJxsa.net
リストの線形性はモナド関係ないだろ
214:デフォルトの名無しさん
24/12/25 20:53:57.98 Rt5IJxsa.net
[[a]]を[a]に平坦化できることがリストのモナド則で、リストの線形性はモナドとは無関係
215:デフォルトの名無しさん
24/12/25 20:55:32.18 YSzIfMqA.net
恥の上にひたすら恥を塗り重ねてるな
狙ってやってるなら逆にすげーよ
216:デフォルトの名無しさん
24/12/25 21:30:02.77 yW1da+j3.net
>>210
だから、お前は文脈読めない糞アスペなんだよ
どこからどこまで順番にランタイムが正格評価しないといけないかラップして分かるようにする必要があるんだよ
どんな順番で遅延評価されるのか分からないはずの純粋な関数と連結しても境界は区別されないといけないんだよ
Haskell弄ってる奴なら当たり前に分かってることを平易に書いてるだけだぞ
その文章の文脈が分からない奴はそもそも何にも分かってねえだろ
なんでそんな奴が喧嘩売ってんだよ糞アホ
要するにお前はHaskellランタイムの実装技術と圏論は関係ないとかいうどうでもいい話をしつこくしてるだけなんだろう
だからソース見ろだの一次情報がどうだのとズレまくった話をしてるんだろう(ここに来てエスパー)
IOモナドが「実現」してるのは「正しい表現」であって実行じゃないの
みんなそんなことは分かってるの
分かってないのはお前の脳内にしかいない仮想敵だけなの
分かった？
どうせ精神的キャパオーバーで現実認められないだろうけどな
217:デフォルトの名無しさん
24/12/25 21:35:51.74 yW1da+j3.net
>>210
もしかして想像を絶するほど当たり前のことが分からないアホなのかな？(エスパーアゲイン)
まず入出力は副作用の一種なんだぞ？
入出力を伴う処理は順番通りに実行しないといけないんだぞ？
だからどこからどこまで順番通りに実行しないといけないのか過不足なく表現する技術は副作用と大いに関係があるんだぞ？
そこから分からないアホなの？
少しは話を逸らさずにレスしてみろ糞アホ
218:デフォルトの名無しさん
24/12/25 21:35:55.63 tDDIbaoR.net
あなたは細かいところを間違えているのではなく、そもそも物事を論理的に理解することを放棄して、ネットで聞き齧ったことを恣意的にツギハギしただけの戯言をべらべらと語っているから、何度も何度も基礎的なことを突っ込まれているのです。いい加減に自覚して下さい。
219:デフォルトの名無しさん
24/12/25 21:38:07.83 yW1da+j3.net
>>218
根本から間違ってるのはお前だろ
どこの馬鹿なプログラマとやらに文句つけてるのかいい加減はっきりしろよ
どうせ脳内プログラマだろう
220:デフォルトの名無しさん
24/12/25 21:39:06.98 yW1da+j3.net
>>210
全部同じことを言ってるのが分からずに
言うことが変わってると思ってる文脈読めない糞アホ
それが結論
221:デフォルトの名無しさん
24/12/25 21:40:52.94 HcTA5YDL.net
>>216
>どこからどこまで順番にランタイムが正格評価しないといけないかラップして分かるようにする必要があるんだよ
（少なくともGHCの実装では）IOアクションの中身は正格評価はしていない
（だからこそ>>68や>>80でRealWorldの話が出ているのだが……）
222:デフォルトの名無しさん
24/12/25 21:41:22.81 YSzIfMqA.net
また知ったかぶりしちゃったね
223:デフォルトの名無しさん
24/12/25 21:41:52.75 yW1da+j3.net
>>218
具体性ゼロのフワフワした話で誤魔化しにもなってない
そんなテクニックが通用すると思ってるどうしようもない低能
そういうのはワク推しのゴミどもとバトルして見飽きてんだわ
何がどう間違ってるのか何も言えないのでフワフワしたポエムしか書けない
レスバの神に謝れ糞アホ
224:デフォルトの名無しさん
24/12/25 21:43:03.09 yW1da+j3.net
>>221
実装なんか見なくても評価しないと現実のIOは起きないことぐらい誰でも分かるだろ
脳みそ腐ってんのか
225:デフォルトの名無しさん
24/12/25 21:45:16.30 G9TljzDw.net
>ID:yW1da+j3 [40回目]
このスレに相当やばいのがおるけど犯罪とか自傷とかやめとけよ
世の中もっと複雑なんだから簡単に結論を出そうとするんじゃない
ちょっと頭冷やして踏みとどまれ
226:デフォルトの名無しさん
24/12/25 21:50:04.50 zSTUrMav.net
そもそも「正格評価」は書いた順番に実行されることじゃないがな
227:デフォルトの名無しさん
24/12/25 21:50:25.64 yW1da+j3.net
>>221
お前の脳内では評価のタイミングだかなんだかが大事らしいな
Actionではやってないとか文脈依存の表現だってわからねーのか
この順番に評価しろ、って意味の記述があるなら同じことなんだよ
普通にセマンティクスと実装の区別がついてないアホじゃん
もう言われただろ
真摯に受け止めろよ糞アホ
正しい表現を正しく実行する低レイヤーの話なんか誰が前置きもなくし始めてると思ってんだよ
馬鹿がアスペ解釈してるだけ
228:デフォルトの名無しさん
24/12/25 21:51:49.61 yW1da+j3.net
>>226
誰もそんなことは言ってない
読み直せ糞アホ
そして文脈を読め馬鹿ガキ
229:デフォルトの名無しさん
24/12/25 21:54:08.09 yW1da+j3.net
>>226
そしてアバウトに言えば書いた順番とも言えることがわかるだろう
同じことだ
何度糞アスペと言われたら共通的な問題を自覚するのか
抽象的な思考が全く出来ない脳障害なの？
コロコロしてたら自分だと分からないって思ってるのも同じ障害だろう
230:デフォルトの名無しさん
24/12/25 21:54:36.05 yW1da+j3.net
>>226
順番守らせるための正格評価
この文脈が分からない糞アホ
231:デフォルトの名無しさん
24/12/25 21:55:37.23 YSzIfMqA.net
自分の知っていることや考えたことを確かな環境に基づいて説明すればいいのに、
なんで知りもしないことを知らない用語・理解してない理屈で主張したがるんだろうね
232:デフォルトの名無しさん
24/12/25 21:55:47.28 yW1da+j3.net
>>225
どんなクソゲーでも納得するまでは投げないんだよ
233:デフォルトの名無しさん
24/12/25 21:56:53.19 yW1da+j3.net
>>231
よく知ってる実装以外何も分からないアフォ
実装と仕様の区別がつかないアフォ
そろそろ問題に気づけアフォ
234:デフォルトの名無しさん
24/12/25 21:58:25.45 ba7hNSHr.net
アクションは正格評価されとらんやろ
235:デフォルトの名無しさん
24/12/25 22:08:07.84 yW1da+j3.net
>>221
お前がゴチャゴチャ言ってるRealWorldの話
完全に低レイヤーの実装の話じゃねえか
しかも純粋なレイヤーの話じゃないとはっきり書いてる
＊馬鹿＊か？
236:デフォルトの名無しさん
24/12/25 22:09:26.43 yW1da+j3.net
>>234
同じように実装と仕様の区別がついてないアフォな話を口調変えてしても無駄なんだよ糞アホ
237:デフォルトの名無しさん
24/12/25 22:23:58.76 yW1da+j3.net
結局釣りカスは何を馬鹿にしたいんだよ
GHCの実装意識してパフォーマンスの良いコードをさくさく書けないプログラマでも馬鹿にしたいのか？
そもそもRealWorldでHaskell書く仕事してる奴なんか殆どいねえよ糞アホ
プログラマーは云々…などと雑なディスり方をした非礼を詫びてさっさと消えとけ
238:デフォルトの名無しさん
24/12/25 22:31:33.99 pHnbL/O6.net
Haskellでは、副作用の実行を表現するオブジェクト（I/Oアクション）は、IO aという型をもつ
Haskellの標準的な処理系では、I/Oアクションを「現実世界を引数と戻り値に持つ関数」として実装することで、参照透過性を保っている
I/Oアクションの生成および結合はモナド則をみたすので、IO型クラスはモナドになる
239:デフォルトの名無しさん
24/12/25 22:32:04.49 yW1da+j3.net
GHCの実装とHaskellの話もゴチャゴチャになってるしな
いったい何だったらゴチャゴチャになってないんだよ
脳みそまで糞ワクのmRNAがまわってイカれてんのか？
240:デフォルトの名無しさん
24/12/25 22:33:17.66 CcJmXK+k.net
>>235
低レイヤーではないと思うが
241:デフォルトの名無しさん
24/12/25 22:34:01.27 CcJmXK+k.net
>>236
仕様においても実装においても正格評価されてないが
242:デフォルトの名無しさん
24/12/25 22:34:06.58 yW1da+j3.net
>>238
だから？
243:デフォルトの名無しさん
24/12/25 22:35:33.12 yW1da+j3.net
>>240
純粋なHaskellであり得ない実装依存の拡張機能使って
結構上のレイヤーで書けてますよーてだけの話じゃねえか
お前自分の貼ったリンク先の内容理解出来てんのか糞アホ
244:デフォルトの名無しさん
24/12/25 22:38:02.95 yW1da+j3.net
>>241
言語の仕様と具体的な処理系の仕様の区別もつかないアホ
何の話かはっきりしろと言ってもアホだから無理なんだね
245:デフォルトの名無しさん
24/12/25 22:40:07.92 yW1da+j3.net
>>240
また今度は低レイヤーという単語だけ切り取って
勝手に脳内辞書で解釈したいように解釈している
いい加減自分の脳みそのバグに気づけ糞アホ
246:デフォルトの名無しさん
24/12/25 22:41:34.76 CcJmXK+k.net
>>202-203
なんかそもそも思考が逆なんだよな
モナドだから順番があるのではなく（MaybeだのEitherだの考えりゃ、データコンテナとしてのモナドが線形とは限らないのはすぐわかる）、
アクションを結合するという操作がモナド則を満たすから、IOをモナドとして実装できる
ということがわかってない
>>195から何の進歩もない
247:デフォルトの名無しさん
24/12/25 22:46:39.48 yW1da+j3.net
>>246
逆なんじゃねえんだよ
お前がどうでもいい部分に注目して要点掴めてねえんだよ
リストのコンテキストを維持できるのも
IOのコンテキストを維持できるのも同じことだろうがって話をしてんだろうが
読解力に進歩が無いのはお前だろうが
248:デフォルトの名無しさん
24/12/25 22:51:43.46 YSzIfMqA.net
>>247
同じことではない
>>213-214で指摘されている
249:デフォルトの名無しさん
24/12/25 23:07:28.72 RELcjKdU.net
スレタイが実証されてるじゃん
250:デフォルトの名無しさん
24/12/25 23:15:25.96 yW1da+j3.net
>>248
同じ曲解してるアホレスじゃねえか
少しは人の話を真面目に読んでからレスしろ脊髄反射低能カス野郎
251:デフォルトの名無しさん
24/12/25 23:15:42.62 yW1da+j3.net
>>249
お前の脳内の仮想世界ではな
252:デフォルトの名無しさん
24/12/25 23:18:34.92 yW1da+j3.net
>>214
平坦化できるのはリストのコンテキストを維持してるからだと分からないアホなんですね
253:デフォルトの名無しさん
24/12/25 23:20:02.31 /0duTNeH.net
>>252
リストのコンテキストとは？
254:デフォルトの名無しさん
24/12/25 23:28:19.49 GFzcOkja.net
馬鹿というか基地外
255:デフォルトの名無しさん
24/12/25 23:31:53.46 yW1da+j3.net
>>253
リストが分からないやつも
コンテキストという単語が分からない奴も引っ込んでろ
256:デフォルトの名無しさん
24/12/25 23:35:51.20 yW1da+j3.net
話の抽象度を上げても下げても分からないアホ
257:デフォルトの名無しさん
24/12/25 23:42:38.31 WvyTQctI.net
不完全性定理とか選択公理みたいなもんだな
前提知識が無ければ理解できないし、ふつうに数学やるぶんに知らなくても困らないから触れないで済ますのが最も教育的なのだが
世間にデマが修正不可能なレベルで蔓延してるから、取り扱わないといけないやつ
258:デフォルトの名無しさん
24/12/26 00:00:33.68 +nE8LjTZ.net
アホアホの実のアホ人間
259:デフォルトの名無しさん
24/12/26 00:13:50.48 s5VzOfMb.net
>>238が理解できてりゃ間違わないのにな。
260:デフォルトの名無しさん
24/12/26 00:45:32.23 4GQ1NJ+P.net
これを自分では筋が通ってると思って書いてるなら基地外だし、
わざとやってるならやっぱり基地外
261:デフォルトの名無しさん
24/12/26 02:06:25.20 8eevi9hi.net
このスレってモナドって用語に振り回されすぎてふわふわなんだよなあ
何も知らん俺にカタカナ専門用語を使わずに説明できるぐらいの知性を発揮してくれないと何も残らんよ
ふわふわが好きならちいかわでも観なよ
262:デフォルトの名無しさん
24/12/26 06:43:38.34 NYMoY9Lm.net
IOがモナドだとして副作用いつ実行されんの？
263:デフォルトの名無しさん
24/12/26 07:06:28.26 5hfbKu3x.net
ネットミームで大喜利するしか出来なさそう
264:デフォルトの名無しさん
24/12/26 07:19:45.37 Cz8iPOPz.net
>>261
そもそもHaskellにおける入出力を説明するのにモナドを持ち出す必要は無い
小学生に四則演算を教えるのに群論をやらなくてもいいのと同様
265:デフォルトの名無しさん
24/12/26 08:02:58.57 k1BBiKIc.net
>>259
いつまでそこがポイントだと思ってんだよ学習障害
266:デフォルトの名無しさん
24/12/26 08:10:44.13 k1BBiKIc.net
>>264
IOモナドにしろStateモナドにしろ
どこからそんな発想が出てきて
あんな名前が付いているのか押さえさせるのは重要だろう
意義も理解できずに他人の発言や文章に文句付けてるだけのゴミ
267:デフォルトの名無しさん
24/12/26 08:12:15.85 k1BBiKIc.net
>>257
お前の糞アスペ解釈でお前の脳内にデマが蔓延してるだけなのに
お前の脳内のトラブルに他人を巻き込もうとするよ糞アホ
お前以外の誰にも関係ない問題だってそろそろ理解しろよ
他人はお前みたいな糞アスペ特有の誤解には陥らないから関係ないんだよ
268:デフォルトの名無しさん
24/12/26 08:14:41.55 k1BBiKIc.net
>>258
誰が誰に文句言ってるのか分からない発言を平気で書くアホ
自分がコロコロしてるの忘れてる脳障害かな？
>>260
コロコロしても異様に同じようにアホなことばっか書いてたら意味ないだろ糞アホ
269:デフォルトの名無しさん
24/12/26 08:16:58.92 k1BBiKIc.net
>>262
釣りカスが得意気に貼った入門記事>>68に強制的な正格評価が実行されることとか注釈に書いてるからよく読んだら分かんじゃね？
釣りカスは自分の貼った記事も読めてない疑惑
270:デフォルトの名無しさん
24/12/26 08:21:34.51 k1BBiKIc.net
IOモナドがモナド則を守った実装してなかったら
どんだけおかしなことになるか分からないアフォが関係ないって連呼してるだけ
そもそも最低限の検索キーワードぐらい与えとかないと
いずれ入門者から脱皮して自分のコードもモナドクラスから派生させてみようと考えた時に大惨事になるわけだ
糞アスペは他人に与える影響について想像力が働かないので何も意味が分からない
271:デフォルトの名無しさん
24/12/26 08:43:45.48 YX6PShG5.net
mainの戻り値になったアクションが実行されるなら、一度結果返したあとも稼働し続けなきゃいけないサーバーはどうやって作るの？
272:デフォルトの名無しさん
24/12/26 08:45:10.96 YiO1xkpk.net
まだ正格評価の意味間違えてる……ｗ
273:デフォルトの名無しさん
24/12/26 08:55:39.89 tqxRL7HU.net
>>266
IO型は「操作の結合に関して」モナド則をみたすからモナド、
State型は「状態の遷移に関して」モナド則をみたすからモナドになっている
その他の性質はモナドとは関係がない
リストに要素の挿入や削除ができるのがモナドと関係ないのと同様
274:デフォルトの名無しさん
24/12/26 09:09:25.27 Speqxhk6.net
朝から連投ごくろうさま
275:デフォルトの名無しさん
24/12/26 10:03:21.17 1ug312Rb.net
「IOが副作用の実行をラップしていることはモナドとは関係ない」という話をしているのに、自前でモナドを作る話になってるのが全く日本語読めてないな
276:デフォルトの名無しさん
24/12/26 12:40:57.07 3a8j6chx.net
きちんとしたドキュメントを論理的に正しく読まず、雰囲気で飛ばし読みをしているから、こういう恥ずかしい間違いをし続ける
277:デフォルトの名無しさん
24/12/26 12:42:47.45 k1BBiKIc.net
>>275
関係なくないから馬鹿と言ってんだよ文盲
少し黙って今までのログを読み返せ
お前の脳内辞書でのラップの意味なんか知るかよ
いい加減相手の吐いた言葉には相手の込めた意図があるという当たり前のことを理解しろ
お前が小馬鹿にしてるどこに実在しているのか分からない馬鹿なプログラマとやらの発言や文章も一緒だ
自然言語はプログラム言語のような文脈自由言語じゃないということが分からない糞アスペ
むしろお前が「漫画の馬鹿なプログラマ」みたいな奴だな
278:デフォルトの名無しさん
24/12/26 12:45:18.87 k1BBiKIc.net
>>276
自分の貼ったリンク先も飛ばし読みしてる疑惑濃厚なのはお前だろう
既に書いたことぐらい読んでレスしろ糞アホ
それにしても毎回几帳面にコロコロしてるの精神病だろ
馬鹿度が近過ぎてバレバレなのにいつまでそれ続けるの？
279:デフォルトの名無しさん
24/12/26 15:07:39.30 2Q+mJpL6.net
事実を認めると死ぬ病気でもかかってるんだろうか
280:デフォルトの名無しさん
24/12/26 15:09:57.90 2Q+mJpL6.net
そもそも基地外の間違いを訂正し続けるだけで議論になってない
281:デフォルトの名無しさん
24/12/26 15:21:14.43 YgT35q2W.net
平日の昼間から糞スレに連投
282:デフォルトの名無しさん
24/12/26 16:44:36.83 7YETGvcg.net
関数型言語はゴミ、実用的なアプリで誰も使ってない、オブジェクト指向最強
つまりLINQを備えたC#最強、Haskellはゴミ
終わり
283:デフォルトの名無しさん
24/12/26 16:58:04.66 AFqpRLOZ.net
躁？
284:デフォルトの名無しさん
24/12/26 17:16:47.62 eEgrQTEF.net
プログラミング言語とかゴミ
生成ai最強
285:デフォルトの名無しさん
24/12/26 18:07:15.01 nZo99m7D.net
プログラミング言語は表現力低すぎ
こんなん書いてんのマゾだけ
286:デフォルトの名無しさん
24/12/26 18:18:12.00 UHmLhK38.net
じゃあ何を使えば良いのさ
287:デフォルトの名無しさん
24/12/26 18:22:27.00 mwMdCY8S.net
絵具
288:デフォルトの名無しさん
24/12/26 18:24:02.94 nxpROS/8.net
Haskellは演算子の記法が終わってる
オワコン
289:デフォルトの名無しさん
24/12/26 18:24:30.69 W5GeoUjm.net
>>286
ur brain
290:デフォルトの名無しさん
24/12/26 18:45:31.65 mwMdCY8S.net
芸術は爆発だ
291:デフォルトの名無しさん
24/12/26 18:59:13.58 4OqPdSWC.net
今はインフラの時代だよ
プログラミングなんて外注すりゃいい
292:デフォルトの名無しさん
24/12/26 20:03:42.91 vCHQ/9OX.net
今はインフレの時代だ
293:デフォルトの名無しさん
24/12/26 20:09:16.70 AFqpRLOZ.net
今日はもう来ないのか？
Rustスレ以来の逸材が現れたかと思ったのに
294:デフォルトの名無しさん
24/12/26 20:11:56.53 UIF/S2sE.net
プログラミングはaiの仕事
ビジネスできない奴は無能
295:デフォルトの名無しさん
24/12/26 20:15:18.73 hKRtuffn.net
これからはハード出来ないやつはゴミ
296:デフォルトの名無しさん
24/12/26 20:52:05.61 mwMdCY8S.net
ハード出来る
297:デフォルトの名無しさん
24/12/26 22:19:59.87 qqKczXdU.net
プログラミングはオワコン
これからはハード、MS
298:デフォルトの名無しさん
24/12/27 02:54:07.22 Ahsdj3Y/.net
ジャンパ線も扱えない男性は対象外だ
299:デフォルトの名無しさん
24/12/27 03:20:08.62 oIpJNlqQ.net
Rustとか低レイヤープログラミングはオワコン
今は特定用途向けハードウェアを直接設計する時代
熟練のエンジニアは念じるだけで無から最も効率の良い集積回路を生み出せる
300:デフォルトの名無しさん
24/12/27 04:31:47.01 fko5qe9s.net
太いのに短い
そして中途半端な硬さ
これ一番嫌われるやつな
301:デフォルトの名無しさん
24/12/27 05:56:35.13 biWkdkGY.net
人間はプログラミングをすべきではない
プログラミングをすればバグは不可避だから
302:デフォルトの名無しさん
24/12/27 06:09:19.75 rpUgwI9Y.net
C言語でメモリリーク起こしまくってたことを考えれば明らか
303:デフォルトの名無しさん
24/12/27 06:34:06.70 6ODUqjIg.net
プログラミング言語は表現力が低すぎて人間様の思考を邪魔する
304:デフォルトの名無しさん
24/12/27 07:18:56.01 ZKgwLnQv.net
業務システム開発でクラス図からボイラープレート作ってる奴とかマジで無能雑魚穢多非人
305:デフォルトの名無しさん
24/12/27 07:30:42.63 DaaPk6YS.net
自動でできることをわざわざエクセルの上で人力でやる馬鹿どもがいなくなれば日本の生産性は上がる
306:デフォルトの名無しさん
24/12/27 08:40:54.39 RE2Yvqkv.net
低レイヤーがわからないプログラマは無能
307:デフォルトの名無しさん
24/12/27 09:03:27.11 duRlB5NW.net
プログラマは仕事が楽なくせに高給でいいよな
緊急対応があるわけでも、自分の仕事が人命に関わるわけでもない
308:デフォルトの名無しさん
24/12/27 09:10:40.54 g5KFFU2o.net
>>302
品質管理の観念のない後進国の職人芸
309:デフォルトの名無しさん
24/12/27 09:20:36.45 o05qMTjZ.net
正確無比なAIがプログラミングすれば高級言語は不要
310:デフォルトの名無しさん
24/12/27 09:55:13.87 HuNscKTz.net
~find the reducible from massive complexity~
311:デフォルトの名無しさん
24/12/27 10:08:50.77 KjPizlkD.net
インフラの知識がないプログラマはただのコード書き
312:デフォルトの名無しさん
24/12/27 10:59:04.35 6V8Irc/N.net
聞きかじった「頭よさそう」なことを有難がってる馬鹿が多い
たとえば、SICP（Structure and Interpretation if Computee Programs）なんて今じゃどこの大学でも読まれてないが、ネット記事が情報源のCSエアプは定番書だと思ってる
そして参考書の名前を知ってるだけで勿論読んでない（笑）
313:デフォルトの名無しさん
24/12/27 11:42:42.00 EovoH6zT.net
「どこの大学でも読まれてない」って結構強い主張だな
それどうやって調べるんだ
314:デフォルトの名無しさん
24/12/27 11:43:58.80 PMIPW9t5.net
知りたきゃ自分で調べりゃいいじゃん
315:デフォルトの名無しさん
24/12/27 12:09:54.42 /8dQjnyz.net
馬鹿が出来る仕事って
プログラマしかないから
だからじゃない？？
316:デフォルトの名無しさん
24/12/27 12:22:31.51 /8dQjnyz.net
プログラマは寝ないで仕事しないといけないから
起きてるために覚せい剤打つ人多いのでは？
317:デフォルトの名無しさん
24/12/27 12:31:11.37 /8dQjnyz.net
サンフランシスコはIT企業で有名ですが
同時に麻薬の街としても有名です
318:デフォルトの名無しさん
24/12/27 13:34:24.02 Krc5r96b.net
西海岸なんて低学歴であふれかえってて治安最悪だしな
319:デフォルトの名無しさん
24/12/27 13:58:59.27 z0LkuMuJ.net
シリコンバレーって低賃金労働者でごった返してんだろ？ずんだもんが言ってた
320:デフォルトの名無しさん
24/12/27 14:09:07.21 Ndic3ZBn.net
「C言語を学ぶとコンピュータの仕組みがわかる」とか言ってるやつ
これ言ってるやつほぼ例外なくプログラミングできない
せっかくプログラミングを覚えたのにC言語の実装でメンタルモデルを上書きしている
しかも、そこで想定している実装は古いC言語のものであり、実体ともかけ離れている
勉強をして余計に馬鹿になってるパターン
そもそも「コンピュータの仕組み」を知りたいならコンピュータアーキテクチャについて学べばよく、C言語を覚えて間接的に学ぶ意味がない
321:デフォルトの名無しさん
24/12/27 15:09:11.09 Su/ipGJY.net
静的メモリ管理と動的メモリ管理が混在していて、メモリリークしても何の警告も出ないプログラミング環境が、コンピュータの内部実装の勉強に適してるわけないじゃん
322:デフォルトの名無しさん
24/12/27 15:20:55.49 qzYOmgeu.net
新しいな
>C言語の実装でメンタルモデルを上書きしている
323:デフォルトの名無しさん
24/12/27 16:18:08.33 qzYOmgeu.net
コーディング、デバッグ、テックリードとしてのメンタルモデル
URLﾘﾝｸ(qiita.com)
324:デフォルトの名無しさん
24/12/27 17:59:41.01 SyH/+IkW.net
>>303
そういうこと言ってるやつはプログラミングに向いてない
制限がきつい言語で書く方が本質に迫れるし、良い物が作れる
CやJavaScriptで書いたものをrustで書き直してみると分かる
325:デフォルトの名無しさん
24/12/27 18:44:55.64 4WCD6ZXB.net
>>324
こりゃまた本末転倒な奴が出てきたな
じゃあ全部アセンブラフルスクラッチで書けばいいじゃん(笑)
326:デフォルトの名無しさん
24/12/27 18:52:35.08 R+DmYl9N.net
>>324
RustはCより表現力高いだろ
327:デフォルトの名無しさん
24/12/27 18:53:38.81 R+DmYl9N.net
>>324
303は「表現力が低い」と書いているのに、勝手に「制限がきつい」と読み替える
絶望的な読解力
328:デフォルトの名無しさん
24/12/27 21:46:20.70 SyH/+IkW.net
>>327
おまえの読解力の方が絶望的や
人間様の思考を邪魔するのは、表現力が高い低いではないってことを言ってるんやで
制約を課すことで、逆に思考が明瞭になるって言ってるだけや
そしてそれは是とするか非をするかは、プログラミングの適正に関係ある
329:デフォルトの名無しさん
24/12/27 22:57:45.47 WTz+yGa7.net
見苦しい
330:デフォルトの名無しさん
24/12/27 23:17:36.84 DG2whimf.net
ただでさえ頭が悪いのに反省することもできない
331:デフォルトの名無しさん
24/12/27 23:39:39.49 tPETOnl1.net
GCがある言語の方が何も考えないでいいからアプリそのものに集中できるがCやRustじゃ無理
332:デフォルトの名無しさん
24/12/27 23:56:28.85 JFc2ERC0.net
クソすぎる
333:デフォルトの名無しさん
24/12/28 09:47:15.03 GiT48OsU.net
>>331
GCのダウンタイムやそもそものクソデカランタイムが許容できない環境なんていくらでもある
本来はリソース管理も含めてのプログラムなんだよ
お前が無理ってだけで
334:デフォルトの名無しさん
24/12/28 11:17:22.87 4mdcIIWZ.net
>>299
Rustが低レイヤー向け言語というのは正しくない
Rustが最も使われている分野は調査でWeb分野であることが判明している
アプリケーション開発にも使われている
Rustは抽象度の高い表現力も備え開発効率の高いモダンな言語である
まず低レイヤーと誤解されやすい低レベル言語(＝低水準言語＝低級言語)とは機械語やアセンブリ言語を指すが
RustはインラインアセンブリもサポートしているためC言語と同様の意味で低水準の領域もカバーできる
だがそのような利用のされ方は全体から見れば極一部である
次に低レイヤーとは人によって指す範囲や意味が異なるが
そのほとんどの分野で現在はRustが最も適した言語の一つであること自体は間違いない
しかしそこで要求される無駄のない高速性や省メモリなどは低レイヤーに限って求められるものではなく幅広い分野で求められる
どの分野であろうが性能を発揮しつつ必要リソースを少なく済むようにしたいという当たり前の要求をがある
その当たり前の要求を満たしたいならば多くの分野でRustが最適となる
335:デフォルトの名無しさん
24/12/28 12:38:57.68 pxJbCRx0.net
>>334
個人で使ってる奴がいるだけで誰もエンタープライズレベルでWebアプリでRustなんか使ってない
使われてるのは低レイヤ分野だけ
336:デフォルトの名無しさん
24/12/28 12:43:33.30 pxJbCRx0.net
>>333
逆に言うとGCや巨大ランタイムが許容できる場面でRustなど使う場面などない
Webアプリ程度であればGCなんてホットスポットを最適化すればいいだけ
C#やGoだったらかなり低レベルでメモリコントロールができるから、プロファイルとってホットスポットを最適化すればいいだけ
Rustなんぞ使ったらホットスポット以外でも無意味なメモリ管理を強要されることになり非生産的
337:デフォルトの名無しさん
24/12/28 12:45:39.35 72bbacDD.net
プログラミング言語のシェア・トレンドの世界的動向
URLﾘﾝｸ(techmania.jp)
世界では14位
338:デフォルトの名無しさん
24/12/28 12:56:47.49 kogG9aPy.net
>>336
無知かつ能力が低いだけなようだな
Rustはメモリ解放も全自動で処理する必要がない
能力が低くて習得も使いこなすこともできなくて批判するのは愚かだ
339:デフォルトの名無しさん
24/12/28 13:57:35.57 72bbacDD.net
【Rust入門】意図的にメモリリークを起こす
URLﾘﾝｸ(qiita.com)
340:デフォルトの名無しさん
24/12/28 14:05:22.93 hWyTpT2B.net
>>335
エンタープライズでは特にクラウド利用を中心にRustへ置き換わっていってるよ
CPUメモリリソースコストが何倍も変わってくるからね
プログラミングの手間はほとんど変わらないのにGC言語を使うのはバカらしいよ
341:デフォルトの名無しさん
24/12/28 14:08:14.01 GX7LgOuD.net
世のプログラマが数学へのコンプレックスを払拭してくれないと、
プログラミングの出来のいいエコシステムは普及しない
342:デフォルトの名無しさん
24/12/28 14:10:45.29 CtmPLa3h.net
>>340
それ俺も知ってる！
ヤフコメに書いてあったｗ
343:デフォルトの名無しさん
24/12/28 14:16:32.26 pr6mzQ5h.net
良いツールなら他人が使っているかなど気にせずにただ使えばいいのに
なぜ世間で使われているかどうかなんてことが気になるんだ？
344:デフォルトの名無しさん
24/12/28 14:28:54.73 d81zsV9V.net
たいていのツールはオープンソースなのだから、バグや機能不足があるなら報告するなり自分で開発すればいいじゃん
開発費用を負担してるわけでもないのに、自分の望むソフトウェアを作って提供し続けろというのは図々しいよ
345:デフォルトの名無しさん
24/12/28 14:31:20.07 hWyTpT2B.net
世間で使われてる一番わかりやすい例が
俺たちが今ここで使っている5chが使用して皆がお世話になっているCloudflareかな
もちろんRust製
346:デフォルトの名無しさん
24/12/28 14:56:32.42 72bbacDD.net
5chが使ってるだけだろ、安いんだろ
347:デフォルトの名無しさん
24/12/28 14:57:57.27 72bbacDD.net
サーバ更新時に全板ID導入といってけどほったらかし
348:デフォルトの名無しさん
24/12/28 15:03:35.48 hWyTpT2B.net
>>346
CloudFlareは世界シェアトップのCDN
349:デフォルトの名無しさん
24/12/28 15:33:33.17 pxJbCRx0.net
Rustでなんか君ら価値のあるもの生産したことあるの？
Web笑とか言語とかどうでもよくね？webは技術じゃなくてコンテンツに価値があるわけであって
350:デフォルトの名無しさん
24/12/28 15:36:00.49 72bbacDD.net
障害ばっかり
351:デフォルトの名無しさん
24/12/28 15:41:30.31 hWyTpT2B.net
CDNとはコンテンツ デリバリー ネットワークのこと
352:デフォルトの名無しさん
24/12/28 15:47:43.92 pxJbCRx0.net
>>334
最も使われてるも何も低レイヤは普通の人は触らないから
トップレベルのエンジニアがカーネルやドライバを開発してるわけで普通のエンジニアはそこに関わることはない、そこでの開発物を使うだけ
AIだってそのものを作るよりそれを利用して何か価値のあることをやることの方が多い
だから普通のエンジニアは高レイヤな層に関わるわけだけどWebでRust触ってるやつはただの馬鹿で言語でしか自分を表現できないイキリワナビーだね