Schemeでバインドされていない変数エラーの原因は何ですか？

Question

私はSICPを使い始めました。私はSchemeを初めて使っています。私はこのコードをデバッグしようとしましたが、同様のソリューションと比較しました。

(def (myFunc x y z) 
    (cond ((and (<= x y) (<= x z)) (+ (* y y) (* z z))) 
      ((and (<= y x) (<= y z)) (+ (* x x) (* z z))) 
      (else (+ (* x x) (* y y))))) 

この関数は、2つの最大値の2乗の和を返します。

私がこれを実行すると、インタプリタは "; Unbound variable：y"を出します。このエラーの原因を説明してください。

ヘルプは大歓迎です:)

Answer 1

を関数定義スキームにおけるプリミティブがdefineと呼ばれている、ではないdef。

そのまま、(def ...)の発現はdefの関数呼び出しとして扱われた。したがって、その議論の価値を見いだす必要があった。最初の引数(myFunc x y z)は関数呼び出しであるため、その引数値を見つける必要があります。明らかに、あなたの実装はyの値を最初に見つけたいと思っていました。

The R5RS standard says "オペレータとオペランドの式は（指定されていない順序で）評価され、結果のプロシージャに結果の引数が渡されます。

それはあなたの実装がでyその右端の位置で、（なぜならcondとand特殊形式を評価する特別な規則の）最初に評価されている(<= x y)につながる、最初の一番右の引数を選択する可能性があります。