スキームに「または機能」を定義できないのはなぜですか？

Question

私は特別な機能「または」スキームには約この質問を発見した：

ジョーハッカーがそこには理由があるんやスキームに特別にする必要があることを声高に述べて - それはちょうど、プログラマによって定義することができ、このように：

(define (or x y) 
    (if x 
     #t 
     y)) 

ジョーは正しいですか？

私はそれができないはずがない理由を理解できません。

いくつかのスキーム - エキスパートがこれを動作させるかどうかを説明してください。

Answer 1

orのこのバージョンは（関数なので）すべての引数を評価し、標準スキームor（関数ではないが特殊な構文）は評価しないためです。 Scheme REPLで(or #t (exit))を実行してから、or関数で同じことを試してみてください。

標準orの動作は、時にはshort-circuitedと呼ばれ、必要な引数だけを評価します。これはプログラミング言語にわたるバイナリブール演算子（orおよびand）で非常に一般的です。 orはのように見えますが、関数呼び出しはScheme/Lisp構文の機能ですが、うんざりしています。

Answer 2

動作するかどうかは、実行するかどうかによって異なります。これは確かに、与えられた2つのブール値に対して期待される結果を返すという意味で機能します。しかし、正常にorを使用しているときに0で0を除算するため、にはエラーが発生し、#tが返され、(/ 0 0)を評価しようとしないため、短絡しないため、機能的には通常のorと同等ではありません。まったく。