casting - #(井号/井号)在类型签名中是什么意思？

Question

# 是什么意思类型签名中的意思，如 seq<#seq<'a>>与 seq<seq<'a>> 相比?

Answer 1

这称为灵活类型。简短的总结是 #type表示从 type 继承的任何类型.所以，在你的具体例子中seq<#seq<'a>>将是包含 'a 的任何集合的序列值(value)观。

调用函数时，F# 会自动将具体类型转换为接口(interface) - 例如，您可以调用带有 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]