f# - 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> 的子类型。使用# 符号可以实现这一点。