Seq seq Typ als Mitglied Parameter in F #

Question

Warum funktioniert dieser Code nicht?

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

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

Es gibt folgende Fehlermeldung:

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

Answer 1

Code ändern zu

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

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

Der Trick ist in der Art von a. Sie müssen explizit zulassen, dass der äußere Seq Instanzen von Seq < 'a > und Subtypen von seq <' a > halten. Mit dem Symbol # wird dies ermöglicht.

Answer 2

Die Fehlermeldung beschreibt das Problem - in F #, list<list<'a>> ist nicht kompatibel mit seq<seq<'a>>.

Die upcast Funktion hilft dieses Problem umgehen, indem a in eine list<seq<float>> machen, die dann mit seq<seq<float>> kompatibel:

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

Edit: Sie können in den Typen func flexibler machen sie akzeptiert. Das Original akzeptiert nur Sequenzen von seq<'a>. Auch wenn list<'a> implementiert seq<'a>, die Typen sind nicht identisch, und der Compiler gibt Ihnen einen Fehler.

Sie können jedoch func ändern Sequenzen jeglicher Art zu akzeptieren, solange diese Art seq<'a> implementiert, durch den inneren Typ wie #seq schreiben:

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

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