逻辑运算符

我们没有定义任何本地运算符,如在我们的语言中的andor。这可能是可以在以后才添加的好东西。现在我们可以使用算术运算符来模拟它们。考虑这些函数在各种输入遇到01时候的工作原理。

  1. ; Logical Functions
  2. (fun {not x} {- 1 x})
  3. (fun {or x y} {+ x y})
  4. (fun {and x y} {* x y})