解釋器，如果聲明並讓

Question

爲什麼不能將「if-then-else」結構模擬爲支持函數應用的解釋器中的函數？ Scheme中的「let」函數類似於「if-then-else」嗎？

Answer 1

在方案的if語句如下：

(if <predicate> <consequent> <alternate>) 

和定義使得<consequent>是評估只有當<predicate>不假，使得<alternate>是評估只有當<predicate>是錯誤的。所以你可以看到像

(if #t (display "okay") (shut-down-the-nsa)) 

永遠不會真正關閉國家安全局。

但是，如果if是一個函數，如：

(<operator> <operand> …) 

那麼每個<operand>總是被判斷。在if聲明的上下文中，這意味着將對<consequent>和<alternate>進行評估 - 而不是if。