2012-08-10 11 views

risposta

22

Basta implementare un membro statico op_Explicit come

type SomeType() = 
    static member op_Explicit(source: SomeType) : int = 
     1 

e quindi è possibile utilizzare un corrispondente F # esplicito operatore di conversione come

SomeType() |> int 

si può vedere un po 'di come funziona notando la statica vincolo membro sulla firma del tipo di int

^a -> int when ^a : (static member op_Explicit : ^a -> int) 
+0

È possibile definire il membro 'op_Implicit' per l'operatore implicito –