如何用单个SML函数实现无预定义列表函数的升序列表生成

你可以通过在主函数内部定义递归辅助函数的方式，在单个函数里完成正序列表的构建，完全不需要依赖预实现的List模块函数。这里有两种实用的实现方式：

基础递归实现 #

let makeList n =
  let rec helper start target =
    if start > target then []
    else start :: helper (start + 1) target
  in helper 1 n

思路拆解 #

• 主函数makeList接收目标上限n作为参数
• 内部嵌套的helper函数负责从起始值start开始，逐步生成到target的元素：
  • 当start超过target时，返回空列表作为递归终止条件
  • 否则，把当前start作为列表头部，拼接上helper (start+1) target生成的剩余元素列表

比如输入4时，helper 1 4会依次展开为1 :: helper 2 4→2 :: helper 3 4→4 :: helper 5 4，最终得到[1;2;3;4]。

尾递归高效实现 #

如果需要处理较大的n，推荐用尾递归版本（避免栈溢出风险）：

let makeList n =
  let rec helper current acc =
    if current = 0 then acc
    else helper (current - 1) (current :: acc)
  in helper n []

这个版本从n往回遍历，把每个元素直接加到累加器acc的头部，最终直接输出正序列表，性能比基础递归更优。

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