Seq seq类型作为F#中的成员参数

Question

为什么这段代码不起作用？

type Test() =
  static member func (a: seq<'a seq>) = 5.

let a = [[4.]]
Test.func(a)

它给出以下错误：

The type 'float list list' is not compatible with the type 'seq<seq<'a>>'

Answer 1

将代码更改为

type Test() = 
  static member func (a: seq<#seq<'a>>) = 5. 

let a = [[4.]] 
Test.func(a) 

技巧在于 a 的类型。您需要明确允许外部 seq 保存 seq<'a> 的实例。 seq<'a> 的和子类型。使用 # 符号可以实现此目的。

Answer 2

错误消息描述了问题 - 在 F# 中，list> 与 seq> 不兼容。

upcast 函数通过将 a 转换为 list> 来帮助解决这个问题，然后与 兼容>seq>:

let a = [upcast [4.]]
Test.func(a)

编辑： 您可以使 func 在其接受的类型方面更加灵活。原始版本仅接受 seq<'a> 序列。尽管 list<'a> 实现了 seq<'a>，但类型并不相同，编译器会给出错误。

但是，您可以修改 func 以接受任何类型的序列，只要该类型实现 seq<'a>，只需将内部类型编写为 #seq ：

type Test() =
  static member func (a: seq<#seq<'a>>) = 5.

let a = [[4.]]
Test.func(a) // works