関数型プログラミング言語Haskell Part34 (667レス)
上
下
前
次
1-
新
561
: 2024/10/26(土)18:20
ID:QG40CL6R(1)
AA×
>>559
[
240
|
320
|480|
600
|
100%
|
JPG
|
べ
|
レス栞
|
レス消
]
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 -> ...) 部分が1個のラムダ式(関数)の上に階層構造なので、同名の変数 x はシャドーイングで古い値は隠される。 (そして隠されたら他から参照されなくなるのでGCでメモリを解放される) IOモナドな入力関数も引数が無いので、値を外部で代入する変数と捉え、シャドーイングで古い値は隠されると考えると、線形何たらの使い捨て副作用関数と同じことしてる。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/561
だったらはどうでせう? モナドの代わりに線形何たらっての使ってる 副作用関数を使い捨て関数と捉える概念らしいけど 変数は引数のない関数と捉えられるので入力関数も外部で代入する変数と捉えられる んで は と解釈されて 部分が1個のラムダ式関数の上に階層構造なので同名の変数 はシャドーイングで古い値は隠される そして隠されたら他から参照されなくなるのででメモリを解放される モナドな入力関数も引数が無いので値を外部で代入する変数と捉えシャドーイングで古い値は隠されると考えると線形何たらの使い捨て副作用関数と同じことしてる
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 106 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
ぬこの手
ぬこTOP
0.030s