2014-02-01から1ヶ月間の記事一覧
ノート プリミティブは正格のまま複合手続きを非正格として評価器を変更する。 評価を遅らせる手続きの引数はサンク(thunk:脚注にその由来。「考えた」)を作る。サンクを評価する事をフォースすると言う。 名前渡し(call-by-name)は引数をそのまま手続…
ノート プリミティブは正格のまま複合手続きを非正格として評価器を変更する。 評価を遅らせる手続きの引数はサンク(thunk:脚注にその由来。「考えた」)を作る。サンクを評価する事をフォースすると言う。 名前渡し(call-by-name)は引数をそのまま手続…