関数型プログラミング言語Haskell Part34 (691ﾚｽ)
上下前次1-新
651: デフォルトの名無しさん [sage] 2025/01/13(月) 17:46:46.07 ID:uTEEqnKb(1) AAS
あけなしておめでとうございます
去年は多様性がようやく否定され始めた年ですが、
今年はhaskellの純粋主義のやうに分類・隔離・排除躍進の年となるようがんばりましょう
652: デフォルトの名無しさん [sage] 2025/01/15(水) 00:44:26.65 ID:O9bWSOqU(1) AAS
マクロな現象には個々人のばらつきを否定する力はない
逆に個人は10回連続でグーを出してみてもたとえば「正規分布に従う」とかなんとかいう法則を反証できない
ミクロとマクロを隔離したのはただの統計学であって純粋でも主義でもない
653: デフォルトの名無しさん [sage] 2025/01/15(水) 05:29:17.90 ID:QElBeHY8(1) AAS
誰もいまミクロ・マクロの話なんてしてないぞ
654: デフォルトの名無しさん [sage] 2025/01/21(火) 22:22:46.92 ID:QQz8h7YM(1) AAS
雪田の英語版買って読んだ勇者はおらんか？
655: デフォルトの名無しさん [sage] 2025/01/22(水) 01:14:29.67 ID:SDQT/604(1) AAS
3万も出してよもうとは思わない。
目次読むとKleisli tripleの節はあるのにKleisli categoryの節がなかったり、なぜかその後にMoggi's theoryが出てきたりと
少なくとも構成があんまりいい感じはしない。
656: デフォルトの名無しさん [sage] 2025/01/22(水) 03:57:21.12 ID:ydcqGqD9(1) AAS
まぁ圏論はHaskellやるうえで無駄だしな
657: デフォルトの名無しさん [] 2025/01/23(木) 21:00:49.82 ID:j8NlocC3(1) AAS
しかもHaskell自体やるだけ無駄だしな
658: デフォルトの名無しさん [] 2025/02/13(木) 07:10:20.44 ID:NHs8kkcw(1) AAS
wikiでghc見たら、中の人MSリサーチにいるのな。
最近C#並みに速くなったと思ったら、そういう事か。
納得。
659(1): デフォルトの名無しさん [sage] 2025/02/13(木) 13:53:19.78 ID:LmH89MFs(1/2) AAS
暗記系の問題が嫌われるのは答えを隠す意味がないからだが
逆に陰謀論が大人気なのは、隠蔽する動機があるからかもしれない
660: デフォルトの名無しさん [sage] 2025/02/13(木) 19:59:58.08 ID:8vmF21CT(1) AAS
>>659
誤爆か？
次から気をつけな
661: デフォルトの名無しさん [sage] 2025/02/13(木) 21:57:13.74 ID:FvaixK+o(1) AAS
わざとだろ。
数板に延々スレ違を書き込む基地外がいるが多分そいつと同一。
662: デフォルトの名無しさん [sage] 2025/02/13(木) 22:11:56.50 ID:LxUFvhMj(1) AAS
ワードサラダくん数学板にもいるんか
まあいそうな板だな
663: デフォルトの名無しさん [sage] 2025/02/13(木) 23:39:39.86 ID:LmH89MFs(2/2) AAS
有意味な事実と有意味なデマを隔離するのは難しいらしい
だが、真でも偽でもないナンセンスはなぜか瞬時に判断できる
664: デフォルトの名無しさん [sage] 2025/03/19(水) 11:03:50.18 ID:JUfTLTVZ(1) AAS
IntSetのsizeがO(1)じゃなくO(n)なのはなぜですか、O(1)で実装できそうなもんですが
665: デフォルトの名無しさん [sage] 2025/03/19(水) 19:45:13.59 ID:4qyoYSYb(1) AAS
unionとかで重複要素数えるのが面倒だから必要になるまで数えない
666: デフォルトの名無しさん [] 2025/03/19(水) 20:51:01.02 ID:S6mpqhEQ(1/2) AAS
私は最強ーーすき
667: デフォルトの名無しさん [] 2025/03/19(水) 20:52:16.86 ID:S6mpqhEQ(2/2) AAS
誤爆ｽﾏｿ。懐メロチャンネルと間違えた
668(3): デフォルトの名無しさん [] 2025/10/08(水) 08:47:56.03 ID:66xUgFQM(1/2) AAS
int* map(int (*f)(const int), const int* array, const int n){
int* p = malloc(sizeof(int) * n);
for(int i = 0; i < n; i++) p[i] = f(array[i]);
return p;
}
ふむ、メモリ管理が必要な言語が（見かけ上）副作用のない関数を作ろうとしたら配列を返す関数の時点で関数を使った後は必ずメモリの開放が必要になるのか。
開放が必要だから、参照を持つためにポインタへの保存が必須なので、関数の連続適用（関数合成）は絶望的。
これじゃ、GCやRustみたいな仕組みが必要になるわけだ。
669: デフォルトの名無しさん [sage] 2025/10/08(水) 10:40:05.18 ID:qRy2t+J8(1) AAS
Cで副作用はいうてらんないね。マルチスレッド、再入可能にするところまで出来れば上出来
670(1): デフォルトの名無しさん [sage] 2025/10/08(水) 13:07:06.38 ID:4LSFWHe4(1) AAS
>>668
30点の理解
671(2): デフォルトの名無しさん [sage] 2025/10/08(水) 14:05:41.01 ID:JTvRYaZp(1) AAS
GC言語はGC使ってる時点で副作用あるやんｗ
メモリ管理他人任せにしてるだけだ
672: デフォルトの名無しさん [sage] 2025/10/08(水) 17:42:33.77 ID:1ctt2fBW(1) AAS
>>671
−30点
673(1): デフォルトの名無しさん [] 2025/10/08(水) 18:32:01.08 ID:66xUgFQM(2/2) AAS
>>670
100点満点のご高説をどうぞ。
長文になっても良し。
>>671
実は純粋関数型言語の定義は「副作用も含めて参照透明性が破れていない」なのです。（Wiki調べ）
print関数やgetLine関数はどう見ても副作用有るでしょう?
でも、モナドのお陰で参照透明性は破れてないんですよ。
674: デフォルトの名無しさん [sage] 2025/10/08(水) 18:44:02.95 ID:N7mcxj5n(1) AAS
副作用は隔離スレへ
675: デフォルトの名無しさん [sage] 2025/10/08(水) 18:45:31.77 ID:HFQA1hQ+(1) AAS
なるほどモナドと書き込めばこのスレで副作用の話もできるのですね
上下前次1-新書関写板覧索設栞歴
あと 16 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.018s