函数式编程中minimum函数的定义域：空列表是否应纳入？

我是系统工程专业的学生，目前正在学习各类编程范式，上节课刚接触函数式编程，被要求用Lisp写一个递归的minimum函数，我提交的代码如下：

(DEFUN minimum (l)
  (cond
    ((null l) nil)
    ((null (REST l)) (FIRST l))
    ((< (FIRST l) (minimum (REST l)) (FIRST l)))
    (t (minimum (REST l)))
  )
)

教授纠正了其中的基例((null l) nil)，理由是“空列表不属于该函数的定义域”。但我之前学过的类似函数都包含这个基例，所以想请教：空列表到底该不该属于minimum函数的定义域？

这本质上是函数语义设计与工程实践的权衡问题，可以从两个核心视角分析：

1. 严格数学语义视角：空列表不该在定义域内 #

最小值的数学定义是针对非空集合的——空集合没有元素，自然不存在“最小元素”。在函数式编程（尤其是Lisp这种根植于λ演算和数学逻辑的语言）的教学场景中，通常会强调函数定义域与语义的严格匹配：传入空列表属于非法输入，此时返回nil是模糊的（因为nil本身可能是列表中的合法元素，会让调用者混淆“无结果”和“结果是nil”），正确的做法应该是抛出明确错误，比如：

((null l) (error "minimum called on empty list"))

2. 工程便利性视角：可将空列表纳入定义域 #

部分编程语言或标准库会选择让这类函数处理空列表，返回nil、None这类特殊值，目的是减少调用者的额外判断，避免程序因意外空输入崩溃。但这是一种妥协：牺牲了数学语义的严谨性，换来了开发效率的提升。

为什么教授会纠正你的代码？ #

教授的观点更偏向函数式编程的严谨语义规范。在Lisp教学中，强调函数定义域与语义匹配是常见的要求——它能帮你建立清晰的函数设计思维，避免模糊返回值埋下潜在bug。你之前接触的“包含空列表基例”的函数，大概率是出于工程场景的便利性设计，和当前教学强调的严谨逻辑不属于同一套标准。

另外提一句，你的代码还有个语法错误：第三行的(< (FIRST l) (minimum (REST l)) (FIRST l))多写了一个(FIRST l)，正确写法应为((< (FIRST l) (minimum (REST l))) (FIRST l))。

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