为何将变量作为函数参数传入会导致后续调用出现类型不匹配错误？

问题重现 #

以下是触发问题的Nushell代码：

def make-list [val?: string] {
    ["f1" "f2"]
}

def use-list [list: list] {
    $list | each { |it| $it + "!" }
}

let $val = "abc"
let $l = (make-list $val)
use-list $l

执行后会触发类型不匹配错误：

Error: nu::parser::type_mismatch

× Type mismatch.
╭─[/.../test.nu:10:1]
10 │ let $l = (make-list $val)
11 │ use-list $l
· ─┬
· ╰── expected List(Any), found String
╰────

但两种修改方式可正常运行：

• 移除参数调用：let $l = (make-list)
• 用字符串字面量替代变量：let $l = (make-list "abc")

原因分析 #

这是Nushell 0.74.0、0.75.0版本中的类型推断bug：当函数定义了可选参数，且调用时传入变量形式的可选参数时，解析器错误地将函数返回值类型与可选参数的类型绑定，完全忽略了函数实际返回的内容。

比如传入字符串变量$val时，解析器错误推断make-list的返回值是string类型；如果把可选参数改成int类型并传入整数变量，就会推断成int类型，导致后续调用期望列表类型的use-list时触发错误。

而传入字面量或不传参数时，解析器不会被变量的类型干扰，能正确识别函数实际返回的列表类型，因此不会报错。

解决办法 #

1. 升级Nushell版本：该bug在0.76.0及以后的版本中已被修复，升级后即可正常运行原代码。
2. 显式标注函数返回类型：如果暂时无法升级，修改make-list的定义，明确指定返回类型，强制解析器使用正确的类型：

def make-list [val?: string] -> list<string> {
    ["f1" "f2"]
}

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