関数型プログラミング言語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