#(散列符号/井号)在类型签名中是什么意思?符号、类型、井号

2023-09-03 10:26:00 作者:言清欢

与仅seq<seq<'a>>相比,#seq<#seq<'a>>这样的类型签名中意味着什么?

推荐答案

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

ppt中怎么打出分类符号 放大的E一样的分类符号

调用函数时,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]