function - can if 是一个适当的函数而不是一个特殊的形式

Question

我终于开始学习函数式语言 (emacs lisp)，它明确区分函数和特殊形式，例如流控制，例如 if。

特殊形式与函数的区别是否有基本/理论上的原因？是否有任何语言提供函数式 if？

谢谢

Answer 1

急切求值的区别是必需的，惰性求值的语言(即 Haskell)if 等。可以是函数。

Eager evaluation:函数的参数在调用函数之前被求值，并且只有结果被传递给函数。

懒惰求值:当且仅当它们被访问时，函数的参数才会被求值。