scheme - 为什么不能在方案中定义 “or-function”？

Question

我在方案中发现了有关特殊功能“或”的问题:

Joe Hacker states loudly that there is no reason or in Scheme needs to be special -- it can just be defined by the programmer, like this:

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

Is Joe right?

我不知道为什么不应该这样做。

可以请一些计划专家解释一下是否可行，如果不能，为什么？

Answer 1

这是因为此版本的or会评估其所有参数(因为它是一个函数)，而标准的Scheme or(这不是一个函数，而是一种特殊的语法)不会进行评估。尝试在Scheme REPL上运行(or #t (exit))，然后使用or函数尝试相同的操作。

标准or的行为有时称为short-circuited:它仅评估需要的那些参数。这对于跨编程语言的二进制 bool 运算符(or和and)非常普遍。 or看起来像函数调用的事实是Scheme/Lisp语法的一个功能，但看起来很欺骗。