二元函数“短路”与“第二参数惰性”的区别及foldr文档疑问

核心定义差异 #

• 第二参数惰性：是函数参数的求值策略特性——函数的第二个参数不会在调用时立即求值，只有当函数内部逻辑确实需要用到它的值时，才会触发计算。这是惰性求值语言（如Haskell）的默认参数处理方式，也可通过严格性注解手动调整。
• 短路特性：是函数的逻辑行为——当第一个参数的结果已经能完全确定整个函数的最终输出时，函数会直接返回结果，完全跳过第二个参数的求值。

关联与区别 #

短路特性必须依赖第二参数惰性才能实现（若第二个参数提前求值，就无法跳过），但反过来，具备第二参数惰性的函数不一定有短路特性：

• 比如(||)和(&&)：既具备第二参数惰性，又有短路特性——当第一个参数为True时，(||)直接返回True，不会计算第二个参数；当第一个参数为False时，(&&)直接返回False。
• 再比如自定义函数addLen x y = x + length y：在Haskell中y是惰性的（只有计算x + length y时才会求值length y），但它没有短路特性——不管x是什么值，最终都需要用到y的长度来计算结果，只是延迟了计算时机而已。

为什么(||)既被称为短路函数，又标注“第二参数惰性”？ #

这两个描述并不冲突：
(||)的Haskell源码定义是：

True || _ = True
_ || y = y

• 源码标注“第二参数惰性”是从求值策略层面说明：第二个参数不会被提前求值；
• 文档称它是短路函数是从逻辑行为层面说明：当第一个参数为True时，函数直接返回结果，完全跳过第二个参数的计算。
  简言之，第二参数惰性是实现短路特性的基础，短路是这种惰性带来的逻辑结果。

用[]而非undefined作为无限列表foldr的初始累加器是否合理？ #

非常合理，原因有两点：

1. 避免不必要的底部值（Bottom）：undefined是代表“非终止、错误或未定义”的底部值。如果折叠过程没有通过短路逻辑跳过累加器的求值，最终结果会变成undefined，导致后续操作报错；而[]是合法的空列表结构，即使折叠过程完全遍历无限列表（当然这不可能终止），也不会引入错误。
2. 结果的合法性与可预测性：假设折叠函数在某些条件下会直接返回累加器（比如f x acc = if x > 10 then acc else x : acc），用[]作为初始值时，返回的是合法的空列表；而用undefined时，返回的是未定义值，破坏了结果的可预测性。
   举个例子：

-- 用[]作为初始值，结果是合法的无限列表
foldr (:) [] (repeat 1) :: [Int]
-- 用undefined作为初始值，结果是包含底部值的无限列表，后续取元素可能触发错误
foldr (:) undefined (repeat 1) :: [Int]

即使是短路场景，比如foldr (||) undefined (repeat True)虽然能返回True，但undefined作为初始值仍然不安全——如果把折叠函数换成非短路的(+)，结果就会变成无限递归的底部值，而用0（对应列表的[]）作为初始值虽然也不会终止，但至少是符合逻辑的累加行为。

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