関数型プログラミング言語Haskell Part34 (667レス)
上下前次1-新
抽出解除 レス栞
122: 2022/09/24(土)03:21:31.25 ID:cIbikbIQ(1) AAS
てか元々世界のメジャーな言語に躍り出ようというつもりなんかHaskellコミュニティにはないのかもね
Haskellコミュニティなんて学者の集合体でしょ?
実務になんか元々興味ないんじゃない?
149: 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
ありがとうございます。
手探りだったので、助かります。
重点的に勉強してみます。
(高卒にどこまで理解できるか…)
>>529
一応、区別付いてるつもりなのですが…。
指摘していただければ調べてみます。
545: 2024/10/08(火)20:00:43.25 ID:fXGz3G0z(2/2) AAS
>>544
なるほど。勉強になります。
561: 2024/10/26(土)18:20:45.25 ID:QG40CL6R(1) AAS
>>559
だったらCleanはどうでせう?
モナドの代わりに線形何たらっての使ってる。
副作用関数を使い捨て関数と捉える概念らしいけど…。
変数は引数のない関数と捉えられるので、入力関数も外部で代入する変数と捉えられる。
んで、
return 0 >>= \x -> return (x + 1) >>= \x -> return (x + 1) = 2
は
return 0 >>= (\x -> return (x + 1) >>= (\x -> return (x + 1)))
と解釈されて、(\x -> ...) 部分が1個のラムダ式(関数)の上に階層構造なので、同名の変数 x はシャドーイングで古い値は隠される。
(そして隠されたら他から参照されなくなるのでGCでメモリを解放される)
IOモナドな入力関数も引数が無いので、値を外部で代入する変数と捉え、シャドーイングで古い値は隠されると考えると、線形何たらの使い捨て副作用関数と同じことしてる。
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.028s