久野です。

maeda-news@ialab.is.tsukuba.ac.jpさん:
> &&, || のような短絡評価をする演算子、というのがそもそも(Lisp以外の)古
> い言語には少ないのではないでしょうか。「副作用と値の両方を使う式」が前
> 提の仕様なので、関数型言語やAlgolなどの「きれいな」言語にはありえない
> でしょうし。

  学生時代、Fortranの論理演算子(.AND. とか .OR. とかのこと)は両
側を評価しなくてもよい)と学んだので。短絡評価は保証されてはいな
いがコンパイラのコードとして許容されているというか。

> (1)と(2)は、別の概念なので両方用意したということでしょう。いかにもAda
> らしいですね。

    …Cだって | と || とか両方ありますよね(ちょっと違うけど)    久野