biểu thức đối tượng và trạng thái đã ghi trong F #

Question

Điều gì khiến triển khai KO đầu tiên?

type IToto = 
    abstract Toto : unit -> unit 

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

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

Answer 1

Trong các đại diện biên dịch, có sự khác biệt giữa tài sản của một loại chức năng, biên soạn như FSharpFunc<unit, unit> Toto { get; }, và một đơn vị phương pháp lấy và trở về đơn vị, biên soạn như unit Toto().

Khái niệm đối tượng đầu tiên thực hiện một giao diện khác nhau:

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

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