Haskell的call-by-need语义下，if-then-else能否等价替换为函数调用？

咱们直接切入核心：在Haskell里，你定义的这个cond函数确实和原生if-then-else行为完全一致，完全可以把if-then-else看成是它的语法糖。而SML里出现的递归死循环问题，正好精准凸显了传值调用（call-by-value）和传需求调用（call-by-need，也就是Haskell的惰性求值）的本质区别。

一、Haskell中：cond与if-then-else完全等效 #

Haskell的惰性求值规则是：函数的参数只有在被实际用到的时候才会被求值。看你写的cond定义：

cond True thenExp elseExp = thenExp
cond _ thenExp elseExp = elseExp

当你调用cond p t f时，不管p是True还是False，只有对应分支的表达式会被触发求值——另一个分支会被完全忽略，这和原生if-then-else的逻辑丝毫不差。

比如用cond写阶乘：

factc n = cond (n == 0) 1 (n * factc (n-1))

调用factc 1时，程序会先判断n==0为False，只有这时候才会去计算n * factc (n-1)，递归过程中每次都是先判断条件，再触发下一层递归，完全不会出现提前求值导致的死循环，和用原生if写的版本运行效果完全一致。

实际上，Haskell的原生if-then-else本身就是语法糖，底层逻辑和你定义的cond函数完全对齐——它就是依赖惰性求值来实现分支的按需计算。

二、SML中的“坑”：传值调用的限制 #

SML是典型的传值调用语言，也就是说，函数的所有参数在进入函数体之前就会被全部求值完毕。你在SML里定义的cond p t f = if p then t else f，本质是个普通函数，调用时不管p的结果是什么，t和f都会被先算一遍。

就拿你写的阶乘例子来说：

fun factc n = cond (n=0) 1 (n * factc (n-1))

当调用factc 1时，SML会按顺序求值所有参数：

1. 先计算n=0，得到false；
2. 计算第二个参数1，没问题；
3. 重点来了：第三个参数n * factc (n-1)会被提前求值！也就是先去算factc 0，而算factc 0时，又会去求值它的第三个参数0 * factc (-1)，这直接陷入了无限递归，永远停不下来。

而SML的原生if-then-else是特殊的语法结构，不是普通函数——它不会提前求值两个分支，只会根据条件去计算对应的那个分支，所以用原生if写的阶乘就能正常运行。这也是为什么传值调用语言里，if-then-else通常是内置语法，没法用普通函数完全模拟的原因。

三、核心结论：求值策略是差异的根源 #

你提到的共识完全正确：这个现象的主因就是两种求值策略的本质区别：

• 传值调用（SML）：参数先求值再传入，不管是否会被用到，性能预测性强，但会导致不必要的计算，甚至触发像上面的无限递归问题。
• 传需求调用（Haskell）：参数仅在被用到时求值，且求值结果会被缓存（避免重复计算），天然支持分支的按需计算，所以普通函数就能实现if-then-else的逻辑。

内容的提问来源于stack exchange，提问作者Aky