与仅seq<seq<'a>>
相比,#
在seq<#seq<'a>>
这样的类型签名中意味着什么?
这称为灵活类型。简而言之,#type
表示从type
继承的任何类型。因此,在您的具体示例中,seq<#seq<'a>>
将是包含'a
值的任何集合的序列。
调用函数时,F#自动将具体类型强制转换为接口-例如,您可以使用数组'a[]
以seq<'a>
作为参数来调用函数。但是,当您有数组时,这不起作用--因为'a[][]
只实现seq<'a[]>
,而不实现seq<seq<'a>>
。
例如,以下两个函数返回嵌套序列的长度列表:
let f1 (s:seq<seq<'T>>) = [ for i in s -> Seq.length i ]
let f2 (s:seq<#seq<'T>>) = [ for i in s -> Seq.length i ]
但只能对列表列表调用第二个:
[ [1]; [2;3] ] |> f1
// error FS0001: The type 'int list list' is not
// compatible with the type 'seq<seq<'a>>'
[ [1]; [2;3] ] |> f2
// val it : int list = [1; 2]