Wyrażenie obiektu i przechwycony stan w F #

Question

Co sprawia, że ​​pierwsze wdrożenie KO?

type IToto = 
    abstract Toto : unit -> unit 

{ new IToto with 
     member this.Toto = 
      fun() ->() } 

{ new IToto with 
     member this.Toto() =() } 

Answer 1

w reprezentacji kompilacji, to różnica pomiędzy własności rodzaju funkcji, sporządzone jak FSharpFunc<unit, unit> Toto { get; } i jednostki sposób podejmowania i jednostką powrotu sporządzone jak unit Toto().

Pierwszym celem ekspresji implementuje różne Interface

type IToto = 
    abstract Toto : (unit -> unit) // Note: Parentheses around the function type! 

{ new IToto with 
     member this.Toto = 
      fun() ->() }