Implementierung der F # -Schnittstelle über Tacit-Programmierung

Question

Eine Idee von tacit programming ist, Argumente nicht auf Funktionen anzuwenden, wenn dies vermieden werden kann.

Warum erlaubt F # dies nicht zu kompilieren, wenn Funktionen Mitglieder erster Klasse sind?

type IAdder = 
    interface 
    abstract member Add : int -> int -> int 
end 

type Adder = 
    interface IAdder with 
     member this.Add x y = x + y 

type AdderWithInnerAdder(adder:IAdder) = 
    interface IAdder with 
     member this.Add = adder.Add 

ich die Kompilierungsfehler erhalten ...

Keine Zusammenfassung Eigenschaft wurde festgestellt, dass

ich, dass diese kompilieren sollten das Gefühl zu dieser Überschreibung entspricht. adder.Add implementiert eindeutig IAdder.Add und sollte akzeptabel sein.

Answer 1

Sie können Schnittstellenelemente nicht so zuweisen, als wären sie Funktionen. Schnittstellen funktionieren nicht so. Sie müssen die Parameter angeben:

member this.Add x y = adder.Add x y 

Aber Schnittstellen sind in der Regel bläh. Sie eignen sich nur dazu, allgemeine Funktionen zu übergeben, ohne die Generizität zu verlieren. Wenn Funktionen nicht-generisch sind, sind Schnittstellen streng unterlegen.

Wenn Sie bereit sind, statt mit einem funktionalen Ansatz zu gehen, wäre das Leben einfach schnell erhalten:

type Adder = { Add: int -> int -> int } 
let adder() = { Add = fun x y -> x + y } 
let adderWithInnerAdder adder = { Add = adder.Add }