使用递归与@操作符生成[1;2;3..n]列表的F#问题

错误提示翻译 #

此表达式的结果类型为'int list'，被隐式忽略。请考虑使用'ignore'显式丢弃该值，例如expr |> ignore，或者使用'let'将结果绑定到一个名称，例如let result = expr

代码问题拆解 #

1. 表达式被忽略：lstInt@addList生成了新列表，但你没有将其纳入递归逻辑，直接调用oneToN(n-1)，导致这行结果被丢弃，触发错误提示。
2. 递归逻辑错误：全局变量lstInt是空列表，每次拼接仅生成[n]，且未将这个结果传递到递归中，最终递归返回的始终是空列表，无法累积出目标序列。
3. 对不可变列表的误解：F#不可变列表确实能通过::或@生成新列表，但原列表不会被修改，递归的核心是通过返回值传递新生成的列表，而非依赖全局变量。

修正后的代码 #

let rec oneToN (n:int) : int list =
    match n with
    | 0 -> []
    | _ -> oneToN (n-1) @ [n]

代码说明 #

• 移除了无用的全局lstInt，基准情况（n=0）直接返回空列表。
• 当n>0时，先递归生成1到n-1的列表，再用@操作符将n拼接到列表末尾，通过递归返回值逐步累积出完整的[1;2;...;n]列表。

内容的提问来源于stack exchange，提问作者Christian Ilkjær