プログラマって馬鹿が多いよね (574ﾚｽ)
上下前次1-新
166: 2024/12/25(水)12:50 ID:yW1da+j3(12/62) AAS
>>164
だから誰がどこでそんな表現したんですか？
どのくらいアバウトな感じの状況で話したことにケチつけてんのかハッキリしろカス
どうせ糞アスペ
167(2): 2024/12/25(水)12:54 ID:yW1da+j3(13/62) AAS
せいぜいHaskellで入出力したかったらモナド(関連クラスやオペレーターの使い方)が分からないといけないよーぐらいの何でもない表現にケチつけてんだろう
糞アスペだからな
そしてこういうのを「関係ない」って言い切るのが自然で厳密だと言って憚らないアフォ
論理的でもなんでもないアフォなんだわ
168: 2024/12/25(水)12:54 ID:yW1da+j3(14/62) AAS
ただの言語障害なんだね
169(1): 2024/12/25(水)13:03 ID:yW1da+j3(15/62) AAS
>>164
「モナドで副作用を実現している」
→ 基本的に副作用を許さないし評価順も保証されないHaskellの上で
副作用を伴う関数をまともに使える仕組みを実現するために
モナドに基づいた型の階層とオペレーターの定義をしてるんですねー
普通の言語感覚でこれは「実現」の一種ですねー
「群論で足し算を実現している」というくらい意味不明な言い方だ
省4
170: 2024/12/25(水)13:05 ID:yW1da+j3(16/62) AAS
糞アスペの弾圧は俺にとってサブサブサブライフワークぐらいの位置づけなので適度に徹底的にやるで
171: 2024/12/25(水)13:24 ID:4Cv5z88t(1) AAS
やっぱレスバは盛り上がるなあ
172: 2024/12/25(水)13:48 ID:6UmK23y8(1) AAS
技術的内容は皆無でああ言えばこう言う状態
平日の昼から暇なこった
173(1): 2024/12/25(水)13:50 ID:39wXzR5E(1/2) AAS
>>169
モナドは副作用とは関係ない
IOモナドが表現しているのは手続きの逐次実行
174(1): 2024/12/25(水)13:51 ID:39wXzR5E(2/2) AAS
>>167
Haskellで入出力をするのにモナドを理解している必要は全くない
整数の足し算をするのに群論を理解する必要がないのと同様
175(3): 2024/12/25(水)13:56 ID:O0ccYqvb(1) AAS
ここまで技術的に全く意味をなしていないデタラメを書き連ねていたのが、いろいろ学習したのか、>>167あたりになってようやくアジャストしてきた
が、まだまだ誤りだらけ
やり直し
176(1): 2024/12/25(水)13:56 ID:+O96JyK0(2/2) AAS
論破ゲーム、反論してる間は正しい
177(1): 2024/12/25(水)14:25 ID:t6S+JnLO(1) AAS
List型はモナドで、Listはインデックスによる要素へのアクセスやソートができるが、これはモナドとは関係ない
「モナドで副作用を実現している」というのは「モナドでリストのソートを実現している」というのと同様に誤り
178: 2024/12/25(水)15:26 ID:PDJSnv/I(1) AAS
プログラミングで出るのはアドレナリンじゃなくてドーパミングク
179: 2024/12/25(水)16:17 ID:XW5pEoh0(1) AAS
Ken〇kabeみたいに、異常な信念に基づいて自己実現を試みる人はどこにでもいるからなぁ
180(1): 2024/12/25(水)18:03 ID:gCwU3zln(1) AAS
ある技術が裏で高尚で神秘的なことをしていると信じて、「俺はそれを知ってるぜ」って得意気になるのだけが生き甲斐
181(1): 2024/12/25(水)18:26 ID:KZ6pB4/x(1/2) AAS
自分を飾りたいんよ
ものの本質はさておき
彼らにとったら全てはアクセサリーに成り下がる
ある種の権威主義なんよね
なにかを使って自分をアピり続ける人ってのは
それが威光を放てるかどうかはすでに見定めてる
182: 2024/12/25(水)18:31 ID:yW1da+j3(17/62) AAS
>>174
モナドそのものの話をしてるのか
Haskellのモナドクラスの使い方の話をしてるのか
文脈読めないアホなんですね
いい加減引っ込め糞アホ
アスペ以前にただのアホだな
183: 2024/12/25(水)18:34 ID:yW1da+j3(18/62) AAS
>>175
お前が人生やり直せよ
脳の物理的な問題なんじゃないの？
184: 2024/12/25(水)18:36 ID:yW1da+j3(19/62) AAS
>>180
(Haskellの)モナドをだいたい使えるようになった頃には
そんなに高尚な話じゃねえんだなあ、てみんな分かると思うよ
お前が叩きやすい絵に描いたようなアホなんか実在しないよ
お前のせいでいちいち(Haskellの)って書くの面倒なんだけど？
いい加減文脈読むこと覚えないと迷惑なのが分かんだろ
論理的に考えて
185: 2024/12/25(水)18:39 ID:yW1da+j3(20/62) AAS
>>181
自己紹介コロコロガイジ糞アホ
几帳面に毎回コロコロして何の意味あんの？
同じようなアホ発言してたらバレバレに決まってんだろ
ちなみにIDコロコロのことだぞ(糞アスペ向けフォロー)
186(1): 2024/12/25(水)18:42 ID:yW1da+j3(21/62) AAS
>>177
モナドの応用の一つで実現してんだよ
それが健常者の言語感覚だといい加減分かれ糞アホ
そしてHaskellのモナドクラスとオペレーターの話をみんなしてんだよ
勝手にHaskellと関係ないモナドの話に置き換えて赤の他人の話を解釈して意味不明な文句つけてんじゃねーよ
お前こそ抽象と具象の区別もつかない糞アホじゃねえか
187: 2024/12/25(水)18:44 ID:yW1da+j3(22/62) AAS
>>175
こっちは何もアジャストしてねえんだよ
お前みたいな馬鹿向けの翻訳を多少してやってるだけなんだよ
お前が間違いを認めざるを得なくなってるだけだろ糞アホ
低能アスペの落書きなんかニーズ無いからもう黙っとけ
188: 2024/12/25(水)18:46 ID:yW1da+j3(23/62) AAS
>>175
もはや誤魔化しようもない突っ込みに安価して余裕ぶっこいてるつもりのアホ
お前はとりあえず現実を見ることを覚えろ
189: 2024/12/25(水)18:47 ID:yW1da+j3(24/62) AAS
>>176
別に釣りカスの反論は何も正しくないぞ
190: 2024/12/25(水)18:49 ID:yW1da+j3(25/62) AAS
ワク推しのゴミ論法と全く同じだな
カスってみんな似てるわ
191: 2024/12/25(水)18:58 ID:yW1da+j3(26/62) AAS
論点ずらしかあからさまな嘘しか書かないゴミ
まさにワク推しと同類
192: 2024/12/25(水)19:00 ID:yW1da+j3(27/62) AAS
ワクチンの話題はリトマス試験紙だ
全てのゴミスレに導入してもいい
193(2): 2024/12/25(水)19:26 ID:4RxebNON(1) AAS
>>186
副作用はモナドの応用ではない
Qiitaのポエムで妄想膨らませてないで一次情報を読め
194: 2024/12/25(水)19:36 ID:yW1da+j3(28/62) AAS
>>193
応用する側の勝手なんだよ馬鹿
やはり物事の因果関係がわからないアフォ
195(2): 2024/12/25(水)19:37 ID:SkWW0Eag(1) AAS
思考順が逆
モナドを応用して副作用を実現しているのではない
副作用の実行を表現するデータ型が、操作の結合に関してモナドになる
モナドをどう応用したって副作用は実現できん
196: 2024/12/25(水)19:43 ID:yW1da+j3(29/62) AAS
>>193
>副作用はモナドの応用ではない
副作用はモナドの応用であるなんてバグった要約したら
俺の書いたことと似ても似つかんだろ
お前の脳みそがバグってんだよ
やっぱり相変わらず何に文句つけてんだか意味不明
言いたいことが分かりかけたような気がしたが
省1
197: 2024/12/25(水)19:44 ID:yW1da+j3(30/62) AAS
>>195
お前の中で応用という単語がどういう定義になってんだよ
ペチャクチャ喋る前に辞書を引け糞ガキ
198: 2024/12/25(水)19:46 ID:DTAourFQ(1) AAS
こういうのをスクリプトかなんかで連投して嫌がらせするなら分かるけど、律儀に返信してるあたりほんとに病気なんだろうな
199(1): 2024/12/25(水)19:55 ID:nyl4dMen(1/2) AAS
モナドとはXをみたすものである
Aを表現するデータ型は、それに対する操作BがXをみたすからモナドである
Aはモナドに関係ない
ということがいつまで立っても分からない
200(1): 2024/12/25(水)20:02 ID:nyl4dMen(2/2) AAS
IO型は様々な性質A, B, C, ...を備えている
このうちBがモナドの条件をみたすからIO型はモナドである
AやCはモナドとは関係がない
ということが何遍言われてもわからない
201: 2024/12/25(水)20:04 ID:yW1da+j3(31/62) AAS
>>199
分かってないのはお前だろ
モナド則に従ってるIOモナドは一般的なモナド用のオペレーターで合成したり変換して破綻しない
何が不満なんだよ糞アホ
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から何の進歩もない
上下前次1-新書関写板覧索設栞歴
あと 328 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.027s