在Scheme中，如果可以表示爲布爾運算符的組合？

Question

根據if（在or的本地綁定的幫助下），很容易表達and,or和not。我想知道是否相反。我天真的第一次嘗試：

(if test conseq altern) => (or (and test conseq) altern) 

但是，如果test是非#f和conseq是#f，翻譯結果爲altern，這是不正確。

是否有翻譯結果在保持if的短路特性的前提下達到了正確的數值？

Answer 1

聽起來像你有一個很好的解釋爲什麼if做的比and和or多一點點。但是，如果你能欺騙並添加lambda推遲實際結果：

(define-syntax-rule (if c t e) ((or (and c (lambda() t)) (lambda() e)))) 

Answer 2

嘗試(or (and test conseq) (and (not test) altern))的一般模式。通過在第二and否定test，它確保外脫節將conseq∨#f如果任test爲真，或#f∨altern如果test是假的。

Answer 3

這是一樣的禮Barzilay的答案，但不是在一個lambda包裝它，我在1元列表

(if test conseq altern) => (car (or (and test (list conseq)) (list altern))) 

順便說包裹它，Python的2.5之前有這種確切的問題。沒有好的方法來編寫條件表達式（即C中的test ? conseq : altern，這是Scheme中的if）。最簡單的嘗試是

test and conseq or altern 

在大多數情況下工作，但失敗時conseq在Python被認爲是假的（即假，0，空單，空字符串，等等）。這是你在上面發現的確切問題。此修復程序是包裝在一個列表（非空列表總是如此），並再次將其解壓縮：

(test and [conseq] or [altern])[0] 

看起來醜陋。這就是爲什麼他們在Python 2.5中添加了語法conseq if test else altern。