序號<obj>的F＃值限制，但不是列表<obj>？

Question

值限制錯誤：

let myFn (s : string) (args : obj seq) =() 
let myOtherFn = myFn "" 

無值限制錯誤：

let myFn (s : string) (args : obj list) =() 
let myOtherFn = myFn "" 

爲什麼？

Answer 1

所有綁定是automatic generalization的主題。

由於seq<'T>是一個接口（用於IEnumrable的別名），推斷出的類型爲myOtherFn將
val myOtherFn : ('_a -> unit) when '_a :> seq<obj>
，其是通用的，但，myOtherFn不是函數聲明（讀值限制在鏈路部以上），所以自動泛化不能推斷這與val myOtherFn : seq<obj> -> unit相同。

要強制自動綜合，你可以明確的參數添加到myOtherFn
let myOtherFn args = myFn "" args