call-by-need

/ˈkɔːl baɪ niːd/ コール・バイ・ニード

1. プログラムの引数評価戦略の一つで、引数の値が必要になるまで評価を遅らせる方式。

call-by-needは、関数やプロシージャに渡される引数の計算を、実際にその値が必要とされる時点まで延期するプログラミングにおける評価戦略です。これにより、使用されない引数の計算を省略したり、無限データ構造を扱ったりすることが可能になります。主に参照透過性が高い関数型プログラミング言語で利用されます。

Call-by-need is a primary evaluation strategy in Haskell. (必要呼び出しはHaskellにおける主要な評価戦略です。)

• Call-by-need: 必要呼び出しという、引数評価戦略の一種を指します。
• is: 「～である」という状態を表す動詞です。
• a primary evaluation strategy: 主要な評価戦略。
• in Haskell: Haskellというプログラミング言語において。

It can avoid unnecessary computations by deferring evaluation until the value is actually required. (値が実際に必要とされるまで評価を延期することで、不要な計算を回避できます。)

• It: それ（call-by-need）を指します。
• can avoid: 回避できる、防げる。
• unnecessary computations: 不要な計算。
• by deferring evaluation: 評価を延期することによって。
• until the value is actually required: 値が実際に必要とされるまで。

Many modern functional languages implement call-by-need evaluation. (多くの現代的な関数型言語は、必要呼び出し評価を実装しています。)

• Many modern functional languages: 多くの現代的な関数型言語。
• implement: ～を実装する。
• call-by-need evaluation: 必要呼び出し評価。

Call-by-need is also known as lazy evaluation. (必要呼び出しは遅延評価としても知られています。)

• Call-by-need: 必要呼び出し。
• is also known as: ～としても知られている。
• lazy evaluation: 遅延評価。

関連

• lazy evaluation
• call-by-value
• call-by-reference
• call-by-name
• functional programming