#(散列符号/井号)在类型签名中是什么意思？ [英] What does # (hash symbol / pound sign) mean in type signatures?

问题描述

与仅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]

这篇关于#(散列符号/井号)在类型签名中是什么意思？的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！