関数型プログラミング言語Haskell Part34 (692ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
122: デフォルトの名無しさん [sage] 2022/09/24(土) 03:21:31.25 ID:cIbikbIQ(1) AAS
てか元々世界のメジャーな言語に躍り出ようというつもりなんかHaskellコミュニティにはないのかもね
Haskellコミュニティなんて学者の集合体でしょ？
実務になんか元々興味ないんじゃない？
149: デフォルトの名無しさん [sage] 2022/11/04(金) 01:33:00.25 ID:ggdePY4U(1) AAS
まあそうだろうな
530(2): デフォルトの名無しさん [] 2024/10/05(土) 22:07:16.25 ID:JByJwyk5(3/4) AAS
>>528
528(1): デフォルトの名無しさん [sage] 2024/10/05(土) 20:22:21.95 ID:J2mQEu2j(1) AAS
>>527
面倒でも一般位相の基本、ホモロジーの初歩…と地道にやるのをおすすめします
ありがとうございます。
手探りだったので、助かります。
重点的に勉強してみます。
（高卒にどこまで理解できるか…）

>>529
529(2): デフォルトの名無しさん [sage] 2024/10/05(土) 20:30:18.78 ID:aeHKoAMv(2/3) AAS
集合と写像の区別もついてないんだから、集合と位相からやらないとだめ
一応、区別付いてるつもりなのですが…。
指摘していただければ調べてみます。
545: デフォルトの名無しさん [] 2024/10/08(火) 20:00:43.25 ID:fXGz3G0z(2/2) AAS
>>544
544(1): デフォルトの名無しさん [sage] 2024/10/08(火) 19:35:49.07 ID:i8KKt4Pq(1) AAS
>>542
反対向きは成り立たないよ
彼はラムダ項みたいなただの集合も関数だとか言ってたんだよ
なるほど。勉強になります。
561: デフォルトの名無しさん [] 2024/10/26(土) 18:20:45.25 ID:QG40CL6R(1) AAS
>>559
559(1): デフォルトの名無しさん [] 2024/10/26(土) 13:33:26.33 ID:qze4GRwI(1) AAS
モナドはCのポインタより概念が難しいのどうにかならんの
別のはないんですか
だったらCleanはどうでせう？
モナドの代わりに線形何たらっての使ってる。

副作用関数を使い捨て関数と捉える概念らしいけど…。

変数は引数のない関数と捉えられるので、入力関数も外部で代入する変数と捉えられる。
んで、

return 0 >>= \x -> return (x + 1) >>= \x -> return (x + 1) = 2

は

return 0 >>= (\x -> return (x + 1) >>= (\x -> return (x + 1)))

と解釈されて、(\x -> ...) 部分が１個のラムダ式（関数）の上に階層構造なので、同名の変数 x はシャドーイングで古い値は隠される。
（そして隠されたら他から参照されなくなるのでGCでメモリを解放される）

IOモナドな入力関数も引数が無いので、値を外部で代入する変数と捉え、シャドーイングで古い値は隠されると考えると、線形何たらの使い捨て副作用関数と同じことしてる。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.027s