Question

与仅seq<#seq<'a>>相比，＃{1}}类型签名中的＃含义是什么？

Answer 1

这称为灵活类型。简短摘要是#type表示继承自type的任何类型。因此，在您的具体示例中，seq<#seq<'a>>将是包含'a值的任何集合的序列。

调用函数时，F＃会自动将具体类型转换为接口 - 例如，您可以调用以seq<'a>为数组'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]

＃（井号）在类型签名中意味着什么？

1 个答案: