espressione oggetto e stato acquisito in F #

Question

Che cosa rende la prima implementazione KO?

type IToto = 
    abstract Toto : unit -> unit 

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

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

Answer 1

Nella rappresentazione di compilazione, v'è una differenza tra la proprietà di un tipo di funzione, compilato come FSharpFunc<unit, unit> Toto { get; }, e un'unità metodo prelievo e unità di rinvio, compilato come unit Toto().

La prima espressione oggetto implementa un'interfaccia diversa:

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

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