回答編集履歴

  プログラミングの世界には**評価戦略**という概念があります。`&&`や`||`で言われている「遅延」と言う言葉は評価戦略での**遅延評価**のことを言っています。ただし、`&&`や`||`は遅延評価の中でも特殊なパターンと位置づけて、**短絡評価**と言う場合の方が多いです。

 

 

  与えられた引数を単純に足す`plus`関数があるとして、次のような式を考えます。

  ```JavaScript

  ```

  ほとんどのプログラミング言語では、0個以上の式を引数として、関数を呼び出し、一つの式になります。さて、この式について、関数を評価する前に、引数として割り当てられている各式を評価する必要はありますでしょうか？上の例では、`plus`を評価する前に`1 + 2`や`3 * 4`を評価し、その結果を求める必要があるかどうかと言うことです。普通は**ある**と答えることでしょう。何を当たり前な事を…と思ったかも知れませんが、一見、この当たり前な評価の仕方を正格評価といいます。つまり、正格評価とは、ある関数の式について、**その引数にあたる式全てを評価した後に**関数自体を評価することです。

 

  ```Haskell

  plus a b = a + b

  plus (1 + 2) (3 * 4)