functional-programming - いつサンクするのが良いですか？

Question

熱心な評価の代わりに遅延評価を使用する方が良いのはいつですか? 式が 1 回だけ計算されるか、まったく計算されないことがわかっている方がよいでしょうか。

Answer 1

選択できる場合は、まったく評価されない可能性がある式や、評価時に特定の状況下でプログラミング エラーが発生する可能性がある式に対して遅延評価を使用します。

古典的なケースは、C から派生したほとんどの言語で実装されており、「短絡演算子」と呼ばれます。

if (i != 0 && n/i > 100) ...

ここでは、 が 0 でないn/i > 100場合にのみ計算されiます。ゼロ除算エラーを回避できるので、これは素晴らしいことです。

Answer 2

Why Functional Programming Mattersは、主に改善されたモジュール性を促進するものとして、遅延評価を支持する典型的な議論です。

例として、エラトステネスのふるいによる素数の怠惰な定式化を提供できます。

primes = (cons 2 . diff [3..] . bigU . map (\p-> [p*p, p*p+p..])) primes

( .) は関数の合成、diff集合の差、bigU数字の (順序付けられた、増加する) リストの (順序付けられた) リストの和集合を見つける、mapismapなど....、怠惰なセマンティクスがなければ、すべての種類のメカニズムを明示的に維持する必要があります、関数合成で連鎖されたこれらの素敵な個別のモジュラー関数を使用する代わりに、一緒にマッシュアップします。