Loại Seq seq làm thông số thành viên trong F #

Question

tại sao mã này không hoạt động?

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

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

Nó cho lỗi sau:

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

Answer 1

Thay đổi mã của bạn để

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

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

Bí quyết là loại a. Bạn cần phải rõ ràng cho phép seq bên ngoài giữ các trường hợp của seq < 'a > và loại phụ của seq <' a >. Sử dụng ký hiệu # cho phép điều này.

Answer 2

Thông báo lỗi mô tả các vấn đề - trong F #, list<list<'a>> không tương thích với seq<seq<'a>>.

Chức năng upcast giúp làm được việc này, bằng cách làm cho a thành một list<seq<float>>, mà sau đó sẽ tương thích với seq<seq<float>>:

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

Edit: Bạn có thể làm func linh hoạt hơn trong các loại nó chấp nhận. Bản gốc chỉ chấp nhận các chuỗi seq<'a>. Mặc dù list<'a> thực hiện seq<'a>, các loại không giống nhau và trình biên dịch cung cấp cho bạn một lỗi.

Tuy nhiên, bạn có thể sửa đổi func chấp nhận chuỗi của bất kỳ loại, miễn là loại mà thực hiện seq<'a>, bằng cách viết các loại bên trong như #seq:

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

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