いげ太のブログ: [F#] Lazy Force

ここで、簡約（reduction）とは、式を計算して等価なより短い式にすることをいう。式を計算して値を得ることとほぼ同意であると思って構わない。以下、これら各評価戦略について詳しく見ていく。 Use Strict 正格な言語では、値呼び出しと参照呼び出しの 2 つの戦略が採られる。値呼び出しでは、引数に指定された式を計算して、その結果得られた値のコピーを渡す。参照呼出しでは、引数に指定された式の計算結果をメモリにおいて、その番地を渡す。どちらも、先に引数の式を計算してしまってからその値か番地かを渡す戦略であり、そのことを指して、これらの評価戦略は最内簡約とも呼ばれる。また、値呼び出しと参照呼び出しは、一般的には、値渡し、参照渡しと呼ばれ、初学者がつまづきやすく、混乱しやすい部分としてよく話題に上る。 具体的な各言語実装を見てみよう。まず、なにはなくとも C 言語。C 言語では、値渡しのみが

[yuji1982]

Lazy 遅延

[sshi]

無限長のリストはいりませんか