08/04/29 22:24:33
>>537
あんまマジにシンタックス見てないんであれなんだが
こんな感じの関数書くとするやん？
f(x, y) {
return [copy x]lambda(y){+ x; ...}
}
この場合, x はスタックじゃなくてヒープに取るしかないと思うんだ
で,
g(f(1), f(2)...)
とかな感じで, 呼び出したら？
f が返す関数に束縛されてる x がコピーされた領域は誰が回収するんだろ?
と、思った
08/04/29 22:24:33
>>537
あんまマジにシンタックス見てないんであれなんだが
こんな感じの関数書くとするやん？
f(x, y) {
return [copy x]lambda(y){+ x; ...}
}
この場合, x はスタックじゃなくてヒープに取るしかないと思うんだ
で,
g(f(1), f(2)...)
とかな感じで, 呼び出したら？
f が返す関数に束縛されてる x がコピーされた領域は誰が回収するんだろ?
と、思った