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

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

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

>>235
低レイヤーではないと思うが

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

>>236
仕様においても実装においても正格評価されてないが

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

>>238
だから？

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

>>240
純粋なHaskellであり得ない実装依存の拡張機能使って
結構上のレイヤーで書けてますよーてだけの話じゃねえか
お前自分の貼ったリンク先の内容理解出来てんのか糞アホ

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

>>241
言語の仕様と具体的な処理系の仕様の区別もつかないアホ
何の話かはっきりしろと言ってもアホだから無理なんだね

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

>>240
また今度は低レイヤーという単語だけ切り取って
勝手に脳内辞書で解釈したいように解釈している
いい加減自分の脳みそのバグに気づけ糞アホ

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

>>202-203

なんかそもそも思考が逆なんだよな

モナドだから順番があるのではなく（MaybeだのEitherだの考えりゃ、データコンテナとしてのモナドが線形とは限らないのはすぐわかる）、
アクションを結合するという操作がモナド則を満たすから、IOをモナドとして実装できる

ということがわかってない
>>195から何の進歩もない

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

>>246
逆なんじゃねえんだよ
お前がどうでもいい部分に注目して要点掴めてねえんだよ
リストのコンテキストを維持できるのも
IOのコンテキストを維持できるのも同じことだろうがって話をしてんだろうが
読解力に進歩が無いのはお前だろうが

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

>>247
同じことではない
>>213-214で指摘されている

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

スレタイが実証されてるじゃん

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

>>248
同じ曲解してるアホレスじゃねえか
少しは人の話を真面目に読んでからレスしろ脊髄反射低能カス野郎

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

>>249
お前の脳内の仮想世界ではな

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

>>214
平坦化できるのはリストのコンテキストを維持してるからだと分からないアホなんですね

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

>>252
リストのコンテキストとは？

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

馬鹿というか基地外

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

>>253
リストが分からないやつも
コンテキストという単語が分からない奴も引っ込んでろ

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

話の抽象度を上げても下げても分からないアホ

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

不完全性定理とか選択公理みたいなもんだな
前提知識が無ければ理解できないし、ふつうに数学やるぶんに知らなくても困らないから触れないで済ますのが最も教育的なのだが
世間にデマが修正不可能なレベルで蔓延してるから、取り扱わないといけないやつ

**デフォルトの名無しさん** · 2024/12/26(木) 00:00:33.68

アホアホの実のアホ人間

**デフォルトの名無しさん** · 2024/12/26(木) 00:13:50.48

>>238が理解できてりゃ間違わないのにな。

**デフォルトの名無しさん** · 2024/12/26(木) 00:45:32.23

これを自分では筋が通ってると思って書いてるなら基地外だし、
わざとやってるならやっぱり基地外

**デフォルトの名無しさん** · 2024/12/26(木) 02:06:25.20

このスレってモナドって用語に振り回されすぎてふわふわなんだよなあ
何も知らん俺にカタカナ専門用語を使わずに説明できるぐらいの知性を発揮してくれないと何も残らんよ
ふわふわが好きならちいかわでも観なよ

**デフォルトの名無しさん** · 2024/12/26(木) 06:43:38.34

IOがモナドだとして副作用いつ実行されんの？

**デフォルトの名無しさん** · 2024/12/26(木) 07:06:28.26

ネットミームで大喜利するしか出来なさそう

**デフォルトの名無しさん** · 2024/12/26(木) 07:19:45.37

>>261
そもそもHaskellにおける入出力を説明するのにモナドを持ち出す必要は無い
小学生に四則演算を教えるのに群論をやらなくてもいいのと同様

**デフォルトの名無しさん** · 2024/12/26(木) 08:02:58.57

>>259
いつまでそこがポイントだと思ってんだよ学習障害

**デフォルトの名無しさん** · 2024/12/26(木) 08:10:44.13

>>264
IOモナドにしろStateモナドにしろ
どこからそんな発想が出てきて
あんな名前が付いているのか押さえさせるのは重要だろう
意義も理解できずに他人の発言や文章に文句付けてるだけのゴミ

**デフォルトの名無しさん** · 2024/12/26(木) 08:12:15.85

>>257
お前の糞アスペ解釈でお前の脳内にデマが蔓延してるだけなのに
お前の脳内のトラブルに他人を巻き込もうとするよ糞アホ
お前以外の誰にも関係ない問題だってそろそろ理解しろよ
他人はお前みたいな糞アスペ特有の誤解には陥らないから関係ないんだよ

**デフォルトの名無しさん** · 2024/12/26(木) 08:14:41.55

>>258
誰が誰に文句言ってるのか分からない発言を平気で書くアホ
自分がコロコロしてるの忘れてる脳障害かな？

>>260
コロコロしても異様に同じようにアホなことばっか書いてたら意味ないだろ糞アホ

**デフォルトの名無しさん** · 2024/12/26(木) 08:16:58.92

>>262
釣りカスが得意気に貼った入門記事>>68に強制的な正格評価が実行されることとか注釈に書いてるからよく読んだら分かんじゃね？
釣りカスは自分の貼った記事も読めてない疑惑

**デフォルトの名無しさん** · 2024/12/26(木) 08:21:34.51

IOモナドがモナド則を守った実装してなかったら
どんだけおかしなことになるか分からないアフォが関係ないって連呼してるだけ
そもそも最低限の検索キーワードぐらい与えとかないと
いずれ入門者から脱皮して自分のコードもモナドクラスから派生させてみようと考えた時に大惨事になるわけだ
糞アスペは他人に与える影響について想像力が働かないので何も意味が分からない

**デフォルトの名無しさん** · 2024/12/26(木) 08:43:45.48

mainの戻り値になったアクションが実行されるなら、一度結果返したあとも稼働し続けなきゃいけないサーバーはどうやって作るの？

**デフォルトの名無しさん** · 2024/12/26(木) 08:45:10.96

まだ正格評価の意味間違えてる……ｗ

**デフォルトの名無しさん** · 2024/12/26(木) 08:55:39.89

>>266
IO型は「操作の結合に関して」モナド則をみたすからモナド、
State型は「状態の遷移に関して」モナド則をみたすからモナドになっている
その他の性質はモナドとは関係がない
リストに要素の挿入や削除ができるのがモナドと関係ないのと同様

**デフォルトの名無しさん** · 2024/12/26(木) 09:09:25.27

朝から連投ごくろうさま

**デフォルトの名無しさん** · 2024/12/26(木) 10:03:21.17

「IOが副作用の実行をラップしていることはモナドとは関係ない」という話をしているのに、自前でモナドを作る話になってるのが全く日本語読めてないな

**デフォルトの名無しさん** · 2024/12/26(木) 12:40:57.07

きちんとしたドキュメントを論理的に正しく読まず、雰囲気で飛ばし読みをしているから、こういう恥ずかしい間違いをし続ける

**デフォルトの名無しさん** · 2024/12/26(木) 12:42:47.45

>>275
関係なくないから馬鹿と言ってんだよ文盲
少し黙って今までのログを読み返せ
お前の脳内辞書でのラップの意味なんか知るかよ
いい加減相手の吐いた言葉には相手の込めた意図があるという当たり前のことを理解しろ
お前が小馬鹿にしてるどこに実在しているのか分からない馬鹿なプログラマとやらの発言や文章も一緒だ
自然言語はプログラム言語のような文脈自由言語じゃないということが分からない糞アスペ
むしろお前が「漫画の馬鹿なプログラマ」みたいな奴だな

**デフォルトの名無しさん** · 2024/12/26(木) 12:45:18.87

>>276
自分の貼ったリンク先も飛ばし読みしてる疑惑濃厚なのはお前だろう
既に書いたことぐらい読んでレスしろ糞アホ
それにしても毎回几帳面にコロコロしてるの精神病だろ
馬鹿度が近過ぎてバレバレなのにいつまでそれ続けるの？

**デフォルトの名無しさん** · 2024/12/26(木) 15:07:39.30

事実を認めると死ぬ病気でもかかってるんだろうか

**デフォルトの名無しさん** · 2024/12/26(木) 15:09:57.90

そもそも基地外の間違いを訂正し続けるだけで議論になってない

**デフォルトの名無しさん** · 2024/12/26(木) 15:21:14.43

平日の昼間から糞スレに連投

**デフォルトの名無しさん** · 2024/12/26(木) 16:44:36.83

関数型言語はゴミ、実用的なアプリで誰も使ってない、オブジェクト指向最強
つまりLINQを備えたC#最強、Haskellはゴミ

終わり

**デフォルトの名無しさん** · 2024/12/26(木) 16:58:04.66

躁？

**デフォルトの名無しさん** · 2024/12/26(木) 17:16:47.62

プログラミング言語とかゴミ
生成ai最強

**デフォルトの名無しさん** · 2024/12/26(木) 18:07:15.01

プログラミング言語は表現力低すぎ
こんなん書いてんのマゾだけ

**デフォルトの名無しさん** · 2024/12/26(木) 18:18:12.00

じゃあ何を使えば良いのさ

**デフォルトの名無しさん** · 2024/12/26(木) 18:22:27.00

絵具

**デフォルトの名無しさん** · 2024/12/26(木) 18:24:02.94

Haskellは演算子の記法が終わってる
オワコン

**デフォルトの名無しさん** · 2024/12/26(木) 18:24:30.69

>>286
ur brain

**デフォルトの名無しさん** · 2024/12/26(木) 18:45:31.65

芸術は爆発だ

**デフォルトの名無しさん** · 2024/12/26(木) 18:59:13.58

今はインフラの時代だよ
プログラミングなんて外注すりゃいい

**デフォルトの名無しさん** · 2024/12/26(木) 20:03:42.91

今はインフレの時代だ

**デフォルトの名無しさん** · 2024/12/26(木) 20:09:16.70

今日はもう来ないのか？
Rustスレ以来の逸材が現れたかと思ったのに

**デフォルトの名無しさん** · 2024/12/26(木) 20:11:56.53

プログラミングはaiの仕事
ビジネスできない奴は無能

**デフォルトの名無しさん** · 2024/12/26(木) 20:15:18.73

これからはハード出来ないやつはゴミ

**デフォルトの名無しさん** · 2024/12/26(木) 20:52:05.61

ハード出来る

**デフォルトの名無しさん** · 2024/12/26(木) 22:19:59.87

プログラミングはオワコン
これからはハード、MS

**デフォルトの名無しさん** · 2024/12/27(金) 02:54:07.22

ジャンパ線も扱えない男性は対象外だ

**デフォルトの名無しさん** · 2024/12/27(金) 03:20:08.62

Rustとか低レイヤープログラミングはオワコン
今は特定用途向けハードウェアを直接設計する時代
熟練のエンジニアは念じるだけで無から最も効率の良い集積回路を生み出せる

**デフォルトの名無しさん** · 2024/12/27(金) 04:31:47.01

太いのに短い
そして中途半端な硬さ
これ一番嫌われるやつな

**デフォルトの名無しさん** · 2024/12/27(金) 05:56:35.13

人間はプログラミングをすべきではない
プログラミングをすればバグは不可避だから

**デフォルトの名無しさん** · 2024/12/27(金) 06:09:19.75

C言語でメモリリーク起こしまくってたことを考えれば明らか

**デフォルトの名無しさん** · 2024/12/27(金) 06:34:06.70

プログラミング言語は表現力が低すぎて人間様の思考を邪魔する

**デフォルトの名無しさん** · 2024/12/27(金) 07:18:56.01

業務システム開発でクラス図からボイラープレート作ってる奴とかマジで無能雑魚穢多非人

**デフォルトの名無しさん** · 2024/12/27(金) 07:30:42.63

自動でできることをわざわざエクセルの上で人力でやる馬鹿どもがいなくなれば日本の生産性は上がる

**デフォルトの名無しさん** · 2024/12/27(金) 08:40:54.39

低レイヤーがわからないプログラマは無能

**デフォルトの名無しさん** · 2024/12/27(金) 09:03:27.11

プログラマは仕事が楽なくせに高給でいいよな
緊急対応があるわけでも、自分の仕事が人命に関わるわけでもない

**デフォルトの名無しさん** · 2024/12/27(金) 09:10:40.54

>>302
品質管理の観念のない後進国の職人芸

**デフォルトの名無しさん** · 2024/12/27(金) 09:20:36.45

正確無比なAIがプログラミングすれば高級言語は不要

**デフォルトの名無しさん** · 2024/12/27(金) 09:55:13.87

~find the reducible from massive complexity~

**デフォルトの名無しさん** · 2024/12/27(金) 10:08:50.77

インフラの知識がないプログラマはただのコード書き

**デフォルトの名無しさん** · 2024/12/27(金) 10:59:04.35

聞きかじった「頭よさそう」なことを有難がってる馬鹿が多い
たとえば、SICP（Structure and Interpretation if Computee Programs）なんて今じゃどこの大学でも読まれてないが、ネット記事が情報源のCSエアプは定番書だと思ってる
そして参考書の名前を知ってるだけで勿論読んでない（笑）

**デフォルトの名無しさん** · 2024/12/27(金) 11:42:42.00

「どこの大学でも読まれてない」って結構強い主張だな
それどうやって調べるんだ

**デフォルトの名無しさん** · 2024/12/27(金) 11:43:58.80

知りたきゃ自分で調べりゃいいじゃん

**デフォルトの名無しさん** · 2024/12/27(金) 12:09:54.42

馬鹿が出来る仕事って
プログラマしかないから

だからじゃない？？

**デフォルトの名無しさん** · 2024/12/27(金) 12:22:31.51

プログラマは寝ないで仕事しないといけないから
起きてるために覚せい剤打つ人多いのでは？

**デフォルトの名無しさん** · 2024/12/27(金) 12:31:11.37

サンフランシスコはIT企業で有名ですが
同時に麻薬の街としても有名です

**デフォルトの名無しさん** · 2024/12/27(金) 13:34:24.02

西海岸なんて低学歴であふれかえってて治安最悪だしな

**デフォルトの名無しさん** · 2024/12/27(金) 13:58:59.27

シリコンバレーって低賃金労働者でごった返してんだろ？ずんだもんが言ってた

**デフォルトの名無しさん** · 2024/12/27(金) 14:09:07.21

「C言語を学ぶとコンピュータの仕組みがわかる」とか言ってるやつ
これ言ってるやつほぼ例外なくプログラミングできない

せっかくプログラミングを覚えたのにC言語の実装でメンタルモデルを上書きしている
しかも、そこで想定している実装は古いC言語のものであり、実体ともかけ離れている
勉強をして余計に馬鹿になってるパターン

そもそも「コンピュータの仕組み」を知りたいならコンピュータアーキテクチャについて学べばよく、C言語を覚えて間接的に学ぶ意味がない

**デフォルトの名無しさん** · 2024/12/27(金) 15:09:11.09

静的メモリ管理と動的メモリ管理が混在していて、メモリリークしても何の警告も出ないプログラミング環境が、コンピュータの内部実装の勉強に適してるわけないじゃん

**デフォルトの名無しさん** · 2024/12/27(金) 15:20:55.49

新しいな
>C言語の実装でメンタルモデルを上書きしている

**デフォルトの名無しさん** · 2024/12/27(金) 16:18:08.33

コーディング、デバッグ、テックリードとしてのメンタルモデル
https://qiita.com/haruyan_hopemucci/items/939e0bdcc922415ab388

**デフォルトの名無しさん** · 2024/12/27(金) 17:59:41.01

>>303
そういうこと言ってるやつはプログラミングに向いてない

制限がきつい言語で書く方が本質に迫れるし、良い物が作れる
CやJavaScriptで書いたものをrustで書き直してみると分かる

**デフォルトの名無しさん** · 2024/12/27(金) 18:44:55.64

>>324
こりゃまた本末転倒な奴が出てきたな

じゃあ全部アセンブラフルスクラッチで書けばいいじゃん(笑)

**デフォルトの名無しさん** · 2024/12/27(金) 18:52:35.08

>>324
RustはCより表現力高いだろ

**デフォルトの名無しさん** · 2024/12/27(金) 18:53:38.81

>>324
303は「表現力が低い」と書いているのに、勝手に「制限がきつい」と読み替える

絶望的な読解力

**デフォルトの名無しさん** · 2024/12/27(金) 21:46:20.70

>>327
おまえの読解力の方が絶望的や

人間様の思考を邪魔するのは、表現力が高い低いではないってことを言ってるんやで
制約を課すことで、逆に思考が明瞭になるって言ってるだけや
そしてそれは是とするか非をするかは、プログラミングの適正に関係ある

**デフォルトの名無しさん** · 2024/12/27(金) 22:57:45.47

見苦しい

**デフォルトの名無しさん** · 2024/12/27(金) 23:17:36.84

ただでさえ頭が悪いのに反省することもできない

**デフォルトの名無しさん** · 2024/12/27(金) 23:39:39.49

GCがある言語の方が何も考えないでいいからアプリそのものに集中できるがCやRustじゃ無理

**デフォルトの名無しさん** · 2024/12/27(金) 23:56:28.85

クソすぎる

**デフォルトの名無しさん** · 2024/12/28(土) 09:47:15.03

>>331
GCのダウンタイムやそもそものクソデカランタイムが許容できない環境なんていくらでもある
本来はリソース管理も含めてのプログラムなんだよ
お前が無理ってだけで

**デフォルトの名無しさん** · 2024/12/28(土) 11:17:22.87

>>299
Rustが低レイヤー向け言語というのは正しくない
Rustが最も使われている分野は調査でWeb分野であることが判明している
アプリケーション開発にも使われている
Rustは抽象度の高い表現力も備え開発効率の高いモダンな言語である

まず低レイヤーと誤解されやすい低レベル言語(＝低水準言語＝低級言語)とは機械語やアセンブリ言語を指すが
RustはインラインアセンブリもサポートしているためC言語と同様の意味で低水準の領域もカバーできる
だがそのような利用のされ方は全体から見れば極一部である

次に低レイヤーとは人によって指す範囲や意味が異なるが
そのほとんどの分野で現在はRustが最も適した言語の一つであること自体は間違いない
しかしそこで要求される無駄のない高速性や省メモリなどは低レイヤーに限って求められるものではなく幅広い分野で求められる

どの分野であろうが性能を発揮しつつ必要リソースを少なく済むようにしたいという当たり前の要求をがある
その当たり前の要求を満たしたいならば多くの分野でRustが最適となる

**デフォルトの名無しさん** · 2024/12/28(土) 12:38:57.68

>>334
個人で使ってる奴がいるだけで誰もエンタープライズレベルでWebアプリでRustなんか使ってない

使われてるのは低レイヤ分野だけ

**デフォルトの名無しさん** · 2024/12/28(土) 12:43:33.30

>>333
逆に言うとGCや巨大ランタイムが許容できる場面でRustなど使う場面などない

Webアプリ程度であればGCなんてホットスポットを最適化すればいいだけ
C#やGoだったらかなり低レベルでメモリコントロールができるから、プロファイルとってホットスポットを最適化すればいいだけ

Rustなんぞ使ったらホットスポット以外でも無意味なメモリ管理を強要されることになり非生産的

**デフォルトの名無しさん** · 2024/12/28(土) 12:45:39.35

プログラミング言語のシェア・トレンドの世界的動向
https://techmania.jp/blog/programming0001/

世界では14位

**デフォルトの名無しさん** · 2024/12/28(土) 12:56:47.49

>>336
無知かつ能力が低いだけなようだな
Rustはメモリ解放も全自動で処理する必要がない
能力が低くて習得も使いこなすこともできなくて批判するのは愚かだ

**デフォルトの名無しさん** · 2024/12/28(土) 13:57:35.57

【Rust入門】意図的にメモリリークを起こす
https://qiita.com/yuhei3017/items/b9772755f598348d06b1

**デフォルトの名無しさん** · 2024/12/28(土) 14:05:22.93

>>335
エンタープライズでは特にクラウド利用を中心にRustへ置き換わっていってるよ
CPUメモリリソースコストが何倍も変わってくるからね
プログラミングの手間はほとんど変わらないのにGC言語を使うのはバカらしいよ

**デフォルトの名無しさん** · 2024/12/28(土) 14:08:14.01

世のプログラマが数学へのコンプレックスを払拭してくれないと、
プログラミングの出来のいいエコシステムは普及しない

**デフォルトの名無しさん** · 2024/12/28(土) 14:10:45.29

>>340
それ俺も知ってる！
ヤフコメに書いてあったｗ

**デフォルトの名無しさん** · 2024/12/28(土) 14:16:32.26

良いツールなら他人が使っているかなど気にせずにただ使えばいいのに
なぜ世間で使われているかどうかなんてことが気になるんだ？

**デフォルトの名無しさん** · 2024/12/28(土) 14:28:54.73

たいていのツールはオープンソースなのだから、バグや機能不足があるなら報告するなり自分で開発すればいいじゃん
開発費用を負担してるわけでもないのに、自分の望むソフトウェアを作って提供し続けろというのは図々しいよ

**デフォルトの名無しさん** · 2024/12/28(土) 14:31:20.07

世間で使われてる一番わかりやすい例が
俺たちが今ここで使っている5chが使用して皆がお世話になっているCloudflareかな
もちろんRust製

**デフォルトの名無しさん** · 2024/12/28(土) 14:56:32.42

5chが使ってるだけだろ、安いんだろ