関数型プログラミング言語Haskell Part34 (675ﾚｽ)
上下前次1-新

---

561: 2024/10/26(土)18:20 ID:QG40CL6R(1) AA×
>>559


[240|320|480|600|原寸|GIF|べ|ﾚｽ栞|ﾚｽ消]
561: [] 2024/10/26(土) 18:20:45.25 ID:QG40CL6R >>559 だったら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モナドな入力関数も引数が無いので、値を外部で代入する変数と捉え、シャドーイングで古い値は隠されると考えると、線形何たらの使い捨て副作用関数と同じことしてる。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/561
だったらはどうでせう？ モナドの代わりに線形何たらっての使ってる 副作用関数を使い捨て関数と捉える概念らしいけど 変数は引数のない関数と捉えられるので入力関数も外部で代入する変数と捉えられる んで は と解釈されて 部分が１個のラムダ式関数の上に階層構造なので同名の変数 はシャドーイングで古い値は隠される そして隠されたら他から参照されなくなるのででメモリを解放される モナドな入力関数も引数が無いので値を外部で代入する変数と捉えシャドーイングで古い値は隠されると考えると線形何たらの使い捨て副作用関数と同じことしてる

---

上下前次1-新書関写板覧索設栞歴

---

あと 114 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ

---

ぬこの手 ぬこTOP 0.041s