プログラマって馬鹿が多いよね (574ﾚｽ)
プログラマって馬鹿が多いよね http://mevius.5ch.net/test/read.cgi/tech/1732711882/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
166: デフォルトの名無しさん [sage] 2024/12/25(水) 12:50:19.71 ID:yW1da+j3 >>164 だから誰がどこでそんな表現したんですか？ どのくらいアバウトな感じの状況で話したことにケチつけてんのかハッキリしろカス どうせ糞アスペ http://mevius.5ch.net/test/read.cgi/tech/1732711882/166
167: デフォルトの名無しさん [sage] 2024/12/25(水) 12:54:20.48 ID:yW1da+j3 せいぜいHaskellで入出力したかったらモナド(関連クラスやオペレーターの使い方)が分からないといけないよーぐらいの何でもない表現にケチつけてんだろう 糞アスペだからな そしてこういうのを「関係ない」って言い切るのが自然で厳密だと言って憚らないアフォ 論理的でもなんでもないアフォなんだわ http://mevius.5ch.net/test/read.cgi/tech/1732711882/167
168: デフォルトの名無しさん [sage] 2024/12/25(水) 12:54:33.62 ID:yW1da+j3 ただの言語障害なんだね http://mevius.5ch.net/test/read.cgi/tech/1732711882/168
169: デフォルトの名無しさん [sage] 2024/12/25(水) 13:03:50.20 ID:yW1da+j3 >>164 「モナドで副作用を実現している」 → 基本的に副作用を許さないし評価順も保証されないHaskellの上で 副作用を伴う関数をまともに使える仕組みを実現するために モナドに基づいた型の階層とオペレーターの定義をしてるんですねー 普通の言語感覚でこれは「実現」の一種ですねー 「群論で足し算を実現している」というくらい意味不明な言い方だ →どう穴埋めしろってんだよ 糞アスペだから違いがわからないだけ 同じアホでも真実に近いアホと真実から限りなく遠いアホがいるが こいつは後者であり存在自体が無意味 http://mevius.5ch.net/test/read.cgi/tech/1732711882/169
170: デフォルトの名無しさん [sage] 2024/12/25(水) 13:05:05.81 ID:yW1da+j3 糞アスペの弾圧は俺にとってサブサブサブライフワークぐらいの位置づけなので適度に徹底的にやるで http://mevius.5ch.net/test/read.cgi/tech/1732711882/170
171: デフォルトの名無しさん [] 2024/12/25(水) 13:24:30.66 ID:4Cv5z88t やっぱレスバは盛り上がるなあ http://mevius.5ch.net/test/read.cgi/tech/1732711882/171
172: デフォルトの名無しさん [sage] 2024/12/25(水) 13:48:43.97 ID:6UmK23y8 技術的内容は皆無でああ言えばこう言う状態 平日の昼から暇なこった http://mevius.5ch.net/test/read.cgi/tech/1732711882/172
173: デフォルトの名無しさん [sage] 2024/12/25(水) 13:50:36.78 ID:39wXzR5E >>169 モナドは副作用とは関係ない IOモナドが表現しているのは手続きの逐次実行 http://mevius.5ch.net/test/read.cgi/tech/1732711882/173
174: デフォルトの名無しさん [sage] 2024/12/25(水) 13:51:37.83 ID:39wXzR5E >>167 Haskellで入出力をするのにモナドを理解している必要は全くない 整数の足し算をするのに群論を理解する必要がないのと同様 http://mevius.5ch.net/test/read.cgi/tech/1732711882/174
175: デフォルトの名無しさん [sage] 2024/12/25(水) 13:56:10.39 ID:O0ccYqvb ここまで技術的に全く意味をなしていないデタラメを書き連ねていたのが、いろいろ学習したのか、>>167あたりになってようやくアジャストしてきた が、まだまだ誤りだらけ やり直し http://mevius.5ch.net/test/read.cgi/tech/1732711882/175
176: デフォルトの名無しさん [sage] 2024/12/25(水) 13:56:30.19 ID:+O96JyK0 論破ゲーム、反論してる間は正しい http://mevius.5ch.net/test/read.cgi/tech/1732711882/176
177: デフォルトの名無しさん [sage] 2024/12/25(水) 14:25:53.85 ID:t6S+JnLO List型はモナドで、Listはインデックスによる要素へのアクセスやソートができるが、これはモナドとは関係ない 「モナドで副作用を実現している」というのは「モナドでリストのソートを実現している」というのと同様に誤り http://mevius.5ch.net/test/read.cgi/tech/1732711882/177
178: デフォルトの名無しさん [] 2024/12/25(水) 15:26:52.40 ID:PDJSnv/I プログラミングで出るのはアドレナリンじゃなくてドーパミングク http://mevius.5ch.net/test/read.cgi/tech/1732711882/178
179: デフォルトの名無しさん [sage] 2024/12/25(水) 16:17:13.77 ID:XW5pEoh0 Ken〇kabeみたいに、異常な信念に基づいて自己実現を試みる人はどこにでもいるからなぁ http://mevius.5ch.net/test/read.cgi/tech/1732711882/179
180: デフォルトの名無しさん [sage] 2024/12/25(水) 18:03:32.37 ID:gCwU3zln ある技術が裏で高尚で神秘的なことをしていると信じて、「俺はそれを知ってるぜ」って得意気になるのだけが生き甲斐 http://mevius.5ch.net/test/read.cgi/tech/1732711882/180
181: デフォルトの名無しさん [sage] 2024/12/25(水) 18:26:16.57 ID:KZ6pB4/x 自分を飾りたいんよ ものの本質はさておき 彼らにとったら全てはアクセサリーに成り下がる ある種の権威主義なんよね なにかを使って自分をアピり続ける人ってのは それが威光を放てるかどうかはすでに見定めてる http://mevius.5ch.net/test/read.cgi/tech/1732711882/181
182: デフォルトの名無しさん [sage] 2024/12/25(水) 18:31:43.04 ID:yW1da+j3 >>174 モナドそのものの話をしてるのか Haskellのモナドクラスの使い方の話をしてるのか 文脈読めないアホなんですね いい加減引っ込め糞アホ アスペ以前にただのアホだな http://mevius.5ch.net/test/read.cgi/tech/1732711882/182
183: デフォルトの名無しさん [sage] 2024/12/25(水) 18:34:17.60 ID:yW1da+j3 >>175 お前が人生やり直せよ 脳の物理的な問題なんじゃないの？ http://mevius.5ch.net/test/read.cgi/tech/1732711882/183
184: デフォルトの名無しさん [sage] 2024/12/25(水) 18:36:52.32 ID:yW1da+j3 >>180 (Haskellの)モナドをだいたい使えるようになった頃には そんなに高尚な話じゃねえんだなあ、てみんな分かると思うよ お前が叩きやすい絵に描いたようなアホなんか実在しないよ お前のせいでいちいち(Haskellの)って書くの面倒なんだけど？ いい加減文脈読むこと覚えないと迷惑なのが分かんだろ 論理的に考えて http://mevius.5ch.net/test/read.cgi/tech/1732711882/184
185: デフォルトの名無しさん [sage] 2024/12/25(水) 18:39:01.91 ID:yW1da+j3 >>181 自己紹介コロコロガイジ糞アホ 几帳面に毎回コロコロして何の意味あんの？ 同じようなアホ発言してたらバレバレに決まってんだろ ちなみにIDコロコロのことだぞ(糞アスペ向けフォロー) http://mevius.5ch.net/test/read.cgi/tech/1732711882/185
186: デフォルトの名無しさん [sage] 2024/12/25(水) 18:42:52.36 ID:yW1da+j3 >>177 モナドの応用の一つで実現してんだよ それが健常者の言語感覚だといい加減分かれ糞アホ そしてHaskellのモナドクラスとオペレーターの話をみんなしてんだよ 勝手にHaskellと関係ないモナドの話に置き換えて赤の他人の話を解釈して意味不明な文句つけてんじゃねーよ お前こそ抽象と具象の区別もつかない糞アホじゃねえか http://mevius.5ch.net/test/read.cgi/tech/1732711882/186
187: デフォルトの名無しさん [sage] 2024/12/25(水) 18:44:29.15 ID:yW1da+j3 >>175 こっちは何もアジャストしてねえんだよ お前みたいな馬鹿向けの翻訳を多少してやってるだけなんだよ お前が間違いを認めざるを得なくなってるだけだろ糞アホ 低能アスペの落書きなんかニーズ無いからもう黙っとけ http://mevius.5ch.net/test/read.cgi/tech/1732711882/187
188: デフォルトの名無しさん [sage] 2024/12/25(水) 18:46:37.95 ID:yW1da+j3 >>175 もはや誤魔化しようもない突っ込みに安価して余裕ぶっこいてるつもりのアホ お前はとりあえず現実を見ることを覚えろ http://mevius.5ch.net/test/read.cgi/tech/1732711882/188
189: デフォルトの名無しさん [sage] 2024/12/25(水) 18:47:51.10 ID:yW1da+j3 >>176 別に釣りカスの反論は何も正しくないぞ http://mevius.5ch.net/test/read.cgi/tech/1732711882/189
190: デフォルトの名無しさん [sage] 2024/12/25(水) 18:49:28.44 ID:yW1da+j3 ワク推しのゴミ論法と全く同じだな カスってみんな似てるわ http://mevius.5ch.net/test/read.cgi/tech/1732711882/190
191: デフォルトの名無しさん [sage] 2024/12/25(水) 18:58:28.56 ID:yW1da+j3 論点ずらしかあからさまな嘘しか書かないゴミ まさにワク推しと同類 http://mevius.5ch.net/test/read.cgi/tech/1732711882/191
192: デフォルトの名無しさん [sage] 2024/12/25(水) 19:00:39.41 ID:yW1da+j3 ワクチンの話題はリトマス試験紙だ 全てのゴミスレに導入してもいい http://mevius.5ch.net/test/read.cgi/tech/1732711882/192
193: デフォルトの名無しさん [sage] 2024/12/25(水) 19:26:45.10 ID:4RxebNON >>186 副作用はモナドの応用ではない Qiitaのポエムで妄想膨らませてないで一次情報を読め http://mevius.5ch.net/test/read.cgi/tech/1732711882/193
194: デフォルトの名無しさん [sage] 2024/12/25(水) 19:36:09.65 ID:yW1da+j3 >>193 応用する側の勝手なんだよ馬鹿 やはり物事の因果関係がわからないアフォ http://mevius.5ch.net/test/read.cgi/tech/1732711882/194
195: デフォルトの名無しさん [sage] 2024/12/25(水) 19:37:07.47 ID:SkWW0Eag 思考順が逆 モナドを応用して副作用を実現しているのではない 副作用の実行を表現するデータ型が、操作の結合に関してモナドになる モナドをどう応用したって副作用は実現できん http://mevius.5ch.net/test/read.cgi/tech/1732711882/195
196: デフォルトの名無しさん [sage] 2024/12/25(水) 19:43:51.49 ID:yW1da+j3 >>193 >副作用はモナドの応用ではない 副作用はモナドの応用であるなんてバグった要約したら 俺の書いたことと似ても似つかんだろ お前の脳みそがバグってんだよ やっぱり相変わらず何に文句つけてんだか意味不明 言いたいことが分かりかけたような気がしたが ランダムな信号に意味を見出そうとしても無駄かもしれんな http://mevius.5ch.net/test/read.cgi/tech/1732711882/196
197: デフォルトの名無しさん [sage] 2024/12/25(水) 19:44:43.09 ID:yW1da+j3 >>195 お前の中で応用という単語がどういう定義になってんだよ ペチャクチャ喋る前に辞書を引け糞ガキ http://mevius.5ch.net/test/read.cgi/tech/1732711882/197
198: デフォルトの名無しさん [sage] 2024/12/25(水) 19:46:57.75 ID:DTAourFQ こういうのをスクリプトかなんかで連投して嫌がらせするなら分かるけど、律儀に返信してるあたりほんとに病気なんだろうな http://mevius.5ch.net/test/read.cgi/tech/1732711882/198
199: デフォルトの名無しさん [sage] 2024/12/25(水) 19:55:53.02 ID:nyl4dMen モナドとはXをみたすものである Aを表現するデータ型は、それに対する操作BがXをみたすからモナドである Aはモナドに関係ない ということがいつまで立っても分からない http://mevius.5ch.net/test/read.cgi/tech/1732711882/199
200: デフォルトの名無しさん [sage] 2024/12/25(水) 20:02:05.42 ID:nyl4dMen IO型は様々な性質A, B, C, ...を備えている このうちBがモナドの条件をみたすからIO型はモナドである AやCはモナドとは関係がない ということが何遍言われてもわからない http://mevius.5ch.net/test/read.cgi/tech/1732711882/200
201: デフォルトの名無しさん [sage] 2024/12/25(水) 20:04:12.34 ID:yW1da+j3 >>199 分かってないのはお前だろ モナド則に従ってるIOモナドは一般的なモナド用のオペレーターで合成したり変換して破綻しない 何が不満なんだよ糞アホ http://mevius.5ch.net/test/read.cgi/tech/1732711882/201
202: デフォルトの名無しさん [sage] 2024/12/25(水) 20:07:03.75 ID:yW1da+j3 >>200 IOモナドを合成してもIOを実行するべき順番という情報が維持できるのは リストモナドが順番を保持したまま合成できるのと同じだ そこから分からない馬鹿だったか もしかしてなーんにも分かってないアホだったのか？ http://mevius.5ch.net/test/read.cgi/tech/1732711882/202
203: デフォルトの名無しさん [sage] 2024/12/25(水) 20:08:41.69 ID:yW1da+j3 リストがモナドだと分かって IOの羅列がモナドだと分からない低能 http://mevius.5ch.net/test/read.cgi/tech/1732711882/203
204: デフォルトの名無しさん [sage] 2024/12/25(水) 20:09:23.58 ID:yDmK1kJF IO型は入出力のアクションを表現するデータ型である IO型は型構築およびアクションの結合に対してモナド則をみたす ゆえにIO型はモナドになる 入出力とモナドは関係が無い ということが何度言われてもわからないらしい http://mevius.5ch.net/test/read.cgi/tech/1732711882/204
205: デフォルトの名無しさん [sage] 2024/12/25(水) 20:10:17.84 ID:KZ6pB4/x なにこの連投ｗ http://mevius.5ch.net/test/read.cgi/tech/1732711882/205
206: デフォルトの名無しさん [sage] 2024/12/25(水) 20:11:36.76 ID:yW1da+j3 >>204 モナド則を満たすってことを IOの順番の情報を維持することに使ってることがわからないアホ ここまで何も分かってないだけだったとは http://mevius.5ch.net/test/read.cgi/tech/1732711882/206
207: デフォルトの名無しさん [sage] 2024/12/25(水) 20:12:22.19 ID:yW1da+j3 いやもう、これ>>203で話終わってるから http://mevius.5ch.net/test/read.cgi/tech/1732711882/207
208: デフォルトの名無しさん [sage] 2024/12/25(水) 20:15:55.35 ID:yW1da+j3 副作用を伴う処理は順番に実行することが大切で 順番という情報が大切で リストと共通しているということが実は理解できてなかったアホなんですね やっと1ミリぐらい腑に落ちました http://mevius.5ch.net/test/read.cgi/tech/1732711882/208
209: デフォルトの名無しさん [sage] 2024/12/25(水) 20:21:58.00 ID:YSzIfMqA >>68や>>85で勉強して、さっそく主張をすり替えてきました（笑） http://mevius.5ch.net/test/read.cgi/tech/1732711882/209
210: デフォルトの名無しさん [sage] 2024/12/25(水) 20:27:09.77 ID:YSzIfMqA >>20「Haskellではモナドの理論を利用して副作用のある世界をラップして純粋な世界との辻褄合わせに利用してるって話だろ」 と言ってたのが、>>109や>>173に言われてしれっも >>206「モナド則をIOの順番の情報を維持することに使ってる」 とすっとぼける（笑） http://mevius.5ch.net/test/read.cgi/tech/1732711882/210
211: デフォルトの名無しさん [sage] 2024/12/25(水) 20:31:46.99 ID:3mrDuS6Q 素直に勘違いや理解不足を認めず、「自分は最初からこう言っていた」と言うことで精神の安定を図るアホ http://mevius.5ch.net/test/read.cgi/tech/1732711882/211
212: デフォルトの名無しさん [sage] 2024/12/25(水) 20:44:32.90 ID:/0krV4FV seq演算子等を使えば強制的に評価できるので、順序を保つためなら、IOをモナドとして実装する必要性は無い http://mevius.5ch.net/test/read.cgi/tech/1732711882/212
213: デフォルトの名無しさん [sage] 2024/12/25(水) 20:50:41.92 ID:Rt5IJxsa リストの線形性はモナド関係ないだろ http://mevius.5ch.net/test/read.cgi/tech/1732711882/213
214: デフォルトの名無しさん [sage] 2024/12/25(水) 20:53:57.98 ID:Rt5IJxsa [[a]]を[a]に平坦化できることがリストのモナド則で、リストの線形性はモナドとは無関係 http://mevius.5ch.net/test/read.cgi/tech/1732711882/214
215: デフォルトの名無しさん [sage] 2024/12/25(水) 20:55:32.18 ID:YSzIfMqA 恥の上にひたすら恥を塗り重ねてるな 狙ってやってるなら逆にすげーよ http://mevius.5ch.net/test/read.cgi/tech/1732711882/215
216: デフォルトの名無しさん [sage] 2024/12/25(水) 21:30:02.77 ID:yW1da+j3 >>210 だから、お前は文脈読めない糞アスペなんだよ どこからどこまで順番にランタイムが正格評価しないといけないかラップして分かるようにする必要があるんだよ どんな順番で遅延評価されるのか分からないはずの純粋な関数と連結しても境界は区別されないといけないんだよ Haskell弄ってる奴なら当たり前に分かってることを平易に書いてるだけだぞ その文章の文脈が分からない奴はそもそも何にも分かってねえだろ なんでそんな奴が喧嘩売ってんだよ糞アホ 要するにお前はHaskellランタイムの実装技術と圏論は関係ないとかいうどうでもいい話をしつこくしてるだけなんだろう だからソース見ろだの一次情報がどうだのとズレまくった話をしてるんだろう(ここに来てエスパー) IOモナドが「実現」してるのは「正しい表現」であって実行じゃないの みんなそんなことは分かってるの 分かってないのはお前の脳内にしかいない仮想敵だけなの 分かった？ どうせ精神的キャパオーバーで現実認められないだろうけどな http://mevius.5ch.net/test/read.cgi/tech/1732711882/216
217: デフォルトの名無しさん [sage] 2024/12/25(水) 21:35:51.74 ID:yW1da+j3 >>210 もしかして想像を絶するほど当たり前のことが分からないアホなのかな？(エスパーアゲイン) まず入出力は副作用の一種なんだぞ？ 入出力を伴う処理は順番通りに実行しないといけないんだぞ？ だからどこからどこまで順番通りに実行しないといけないのか過不足なく表現する技術は副作用と大いに関係があるんだぞ？ そこから分からないアホなの？ 少しは話を逸らさずにレスしてみろ糞アホ http://mevius.5ch.net/test/read.cgi/tech/1732711882/217
218: デフォルトの名無しさん [sage] 2024/12/25(水) 21:35:55.63 ID:tDDIbaoR あなたは細かいところを間違えているのではなく、そもそも物事を論理的に理解することを放棄して、ネットで聞き齧ったことを恣意的にツギハギしただけの戯言をべらべらと語っているから、何度も何度も基礎的なことを突っ込まれているのです。いい加減に自覚して下さい。 http://mevius.5ch.net/test/read.cgi/tech/1732711882/218
219: デフォルトの名無しさん [sage] 2024/12/25(水) 21:38:07.83 ID:yW1da+j3 >>218 根本から間違ってるのはお前だろ どこの馬鹿なプログラマとやらに文句つけてるのかいい加減はっきりしろよ どうせ脳内プログラマだろう http://mevius.5ch.net/test/read.cgi/tech/1732711882/219
220: デフォルトの名無しさん [sage] 2024/12/25(水) 21:39:06.98 ID:yW1da+j3 >>210 全部同じことを言ってるのが分からずに 言うことが変わってると思ってる文脈読めない糞アホ それが結論 http://mevius.5ch.net/test/read.cgi/tech/1732711882/220
221: デフォルトの名無しさん [sage] 2024/12/25(水) 21:40:52.94 ID:HcTA5YDL >>216 >どこからどこまで順番にランタイムが正格評価しないといけないかラップして分かるようにする必要があるんだよ （少なくともGHCの実装では）IOアクションの中身は正格評価はしていない （だからこそ>>68や>>80でRealWorldの話が出ているのだが……） http://mevius.5ch.net/test/read.cgi/tech/1732711882/221
222: デフォルトの名無しさん [sage] 2024/12/25(水) 21:41:22.81 ID:YSzIfMqA また知ったかぶりしちゃったね http://mevius.5ch.net/test/read.cgi/tech/1732711882/222
223: デフォルトの名無しさん [sage] 2024/12/25(水) 21:41:52.75 ID:yW1da+j3 >>218 具体性ゼロのフワフワした話で誤魔化しにもなってない そんなテクニックが通用すると思ってるどうしようもない低能 そういうのはワク推しのゴミどもとバトルして見飽きてんだわ 何がどう間違ってるのか何も言えないのでフワフワしたポエムしか書けない レスバの神に謝れ糞アホ http://mevius.5ch.net/test/read.cgi/tech/1732711882/223
224: デフォルトの名無しさん [sage] 2024/12/25(水) 21:43:03.09 ID:yW1da+j3 >>221 実装なんか見なくても評価しないと現実のIOは起きないことぐらい誰でも分かるだろ 脳みそ腐ってんのか http://mevius.5ch.net/test/read.cgi/tech/1732711882/224
225: デフォルトの名無しさん [sage] 2024/12/25(水) 21:45:16.30 ID:G9TljzDw >ID:yW1da+j3 [40回目] このスレに相当やばいのがおるけど犯罪とか自傷とかやめとけよ 世の中もっと複雑なんだから簡単に結論を出そうとするんじゃない ちょっと頭冷やして踏みとどまれ http://mevius.5ch.net/test/read.cgi/tech/1732711882/225
226: デフォルトの名無しさん [sage] 2024/12/25(水) 21:50:04.50 ID:zSTUrMav そもそも「正格評価」は書いた順番に実行されることじゃないがな http://mevius.5ch.net/test/read.cgi/tech/1732711882/226
227: デフォルトの名無しさん [sage] 2024/12/25(水) 21:50:25.64 ID:yW1da+j3 >>221 お前の脳内では評価のタイミングだかなんだかが大事らしいな Actionではやってないとか文脈依存の表現だってわからねーのか この順番に評価しろ、って意味の記述があるなら同じことなんだよ 普通にセマンティクスと実装の区別がついてないアホじゃん もう言われただろ 真摯に受け止めろよ糞アホ 正しい表現を正しく実行する低レイヤーの話なんか誰が前置きもなくし始めてると思ってんだよ 馬鹿がアスペ解釈してるだけ http://mevius.5ch.net/test/read.cgi/tech/1732711882/227
228: デフォルトの名無しさん [sage] 2024/12/25(水) 21:51:49.61 ID:yW1da+j3 >>226 誰もそんなことは言ってない 読み直せ糞アホ そして文脈を読め馬鹿ガキ http://mevius.5ch.net/test/read.cgi/tech/1732711882/228
229: デフォルトの名無しさん [sage] 2024/12/25(水) 21:54:08.09 ID:yW1da+j3 >>226 そしてアバウトに言えば書いた順番とも言えることがわかるだろう 同じことだ 何度糞アスペと言われたら共通的な問題を自覚するのか 抽象的な思考が全く出来ない脳障害なの？ コロコロしてたら自分だと分からないって思ってるのも同じ障害だろう http://mevius.5ch.net/test/read.cgi/tech/1732711882/229
230: デフォルトの名無しさん [sage] 2024/12/25(水) 21:54:36.05 ID:yW1da+j3 >>226 順番守らせるための正格評価 この文脈が分からない糞アホ http://mevius.5ch.net/test/read.cgi/tech/1732711882/230
231: デフォルトの名無しさん [sage] 2024/12/25(水) 21:55:37.23 ID:YSzIfMqA 自分の知っていることや考えたことを確かな環境に基づいて説明すればいいのに、 なんで知りもしないことを知らない用語・理解してない理屈で主張したがるんだろうね http://mevius.5ch.net/test/read.cgi/tech/1732711882/231
232: デフォルトの名無しさん [sage] 2024/12/25(水) 21:55:47.28 ID:yW1da+j3 >>225 どんなクソゲーでも納得するまでは投げないんだよ http://mevius.5ch.net/test/read.cgi/tech/1732711882/232
233: デフォルトの名無しさん [sage] 2024/12/25(水) 21:56:53.19 ID:yW1da+j3 >>231 よく知ってる実装以外何も分からないアフォ 実装と仕様の区別がつかないアフォ そろそろ問題に気づけアフォ http://mevius.5ch.net/test/read.cgi/tech/1732711882/233
234: デフォルトの名無しさん [sage] 2024/12/25(水) 21:58:25.45 ID:ba7hNSHr アクションは正格評価されとらんやろ http://mevius.5ch.net/test/read.cgi/tech/1732711882/234
235: デフォルトの名無しさん [sage] 2024/12/25(水) 22:08:07.84 ID:yW1da+j3 >>221 お前がゴチャゴチャ言ってるRealWorldの話 完全に低レイヤーの実装の話じゃねえか しかも純粋なレイヤーの話じゃないとはっきり書いてる ＊馬鹿＊か？ http://mevius.5ch.net/test/read.cgi/tech/1732711882/235
236: デフォルトの名無しさん [sage] 2024/12/25(水) 22:09:26.43 ID:yW1da+j3 >>234 同じように実装と仕様の区別がついてないアフォな話を口調変えてしても無駄なんだよ糞アホ http://mevius.5ch.net/test/read.cgi/tech/1732711882/236
237: デフォルトの名無しさん [sage] 2024/12/25(水) 22:23:58.76 ID:yW1da+j3 結局釣りカスは何を馬鹿にしたいんだよ GHCの実装意識してパフォーマンスの良いコードをさくさく書けないプログラマでも馬鹿にしたいのか？ そもそもRealWorldでHaskell書く仕事してる奴なんか殆どいねえよ糞アホ プログラマーは云々…などと雑なディスり方をした非礼を詫びてさっさと消えとけ http://mevius.5ch.net/test/read.cgi/tech/1732711882/237
238: デフォルトの名無しさん [sage] 2024/12/25(水) 22:31:33.99 ID:pHnbL/O6 Haskellでは、副作用の実行を表現するオブジェクト（I/Oアクション）は、IO aという型をもつ Haskellの標準的な処理系では、I/Oアクションを「現実世界を引数と戻り値に持つ関数」として実装することで、参照透過性を保っている I/Oアクションの生成および結合はモナド則をみたすので、IO型クラスはモナドになる http://mevius.5ch.net/test/read.cgi/tech/1732711882/238
239: デフォルトの名無しさん [sage] 2024/12/25(水) 22:32:04.49 ID:yW1da+j3 GHCの実装とHaskellの話もゴチャゴチャになってるしな いったい何だったらゴチャゴチャになってないんだよ 脳みそまで糞ワクのmRNAがまわってイカれてんのか？ http://mevius.5ch.net/test/read.cgi/tech/1732711882/239
240: デフォルトの名無しさん [sage] 2024/12/25(水) 22:33:17.66 ID:CcJmXK+k >>235 低レイヤーではないと思うが http://mevius.5ch.net/test/read.cgi/tech/1732711882/240
241: デフォルトの名無しさん [sage] 2024/12/25(水) 22:34:01.27 ID:CcJmXK+k >>236 仕様においても実装においても正格評価されてないが http://mevius.5ch.net/test/read.cgi/tech/1732711882/241
242: デフォルトの名無しさん [sage] 2024/12/25(水) 22:34:06.58 ID:yW1da+j3 >>238 だから？ http://mevius.5ch.net/test/read.cgi/tech/1732711882/242
243: デフォルトの名無しさん [sage] 2024/12/25(水) 22:35:33.12 ID:yW1da+j3 >>240 純粋なHaskellであり得ない実装依存の拡張機能使って 結構上のレイヤーで書けてますよーてだけの話じゃねえか お前自分の貼ったリンク先の内容理解出来てんのか糞アホ http://mevius.5ch.net/test/read.cgi/tech/1732711882/243
244: デフォルトの名無しさん [sage] 2024/12/25(水) 22:38:02.95 ID:yW1da+j3 >>241 言語の仕様と具体的な処理系の仕様の区別もつかないアホ 何の話かはっきりしろと言ってもアホだから無理なんだね http://mevius.5ch.net/test/read.cgi/tech/1732711882/244
245: デフォルトの名無しさん [sage] 2024/12/25(水) 22:40:07.92 ID:yW1da+j3 >>240 また今度は低レイヤーという単語だけ切り取って 勝手に脳内辞書で解釈したいように解釈している いい加減自分の脳みそのバグに気づけ糞アホ http://mevius.5ch.net/test/read.cgi/tech/1732711882/245
246: デフォルトの名無しさん [sage] 2024/12/25(水) 22:41:34.76 ID:CcJmXK+k >>202-203 なんかそもそも思考が逆なんだよな モナドだから順番があるのではなく（MaybeだのEitherだの考えりゃ、データコンテナとしてのモナドが線形とは限らないのはすぐわかる）、 アクションを結合するという操作がモナド則を満たすから、IOをモナドとして実装できる ということがわかってない >>195から何の進歩もない http://mevius.5ch.net/test/read.cgi/tech/1732711882/246
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 328 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.017s