Objektausdruck und erfassten Zustand in F #

Question

Was macht die erste Implementierung KO?

type IToto = 
    abstract Toto : unit -> unit 

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

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

Answer 1

In der Darstellung der Kompilierung, gibt es einen Unterschied zwischen Eigenschaft eines Funktionstyp, wie FSharpFunc<unit, unit> Toto { get; } kompiliert, und ein Verfahren Aufnahmeeinheit und Zurückkehren Einheit, wie unit Toto() zusammengestellt.

Der erste Objektausdruck implementiert eine andere Schnittstelle:

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

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