Splitting ein Tupel inline als Parameter an eine Funktion mit Nicht-Tupel Argumente

Question

ich eine Funktion haben, die zwei Parameter nimmt, zum Beispiel:

let f a b = a = b 

Dann habe ich eine zweite Funktion, die ein Tupel zurückgibt:

Ich möchte a und b im Tupel übergeben von g als Parameter zu f in einer Zeile. Ich könnte es in zwei Anweisungen tun, aber der Grund, warum ich das tun möchte, ist, dass meine Anruffunktion einen oder und ich würde lieber nicht f anrufen, außer der erste Fall ist falsch, um unnötige Verarbeitung zu sparen.

let calling = 
    someboolean || 
    f g // want to split result of g to parameters for f without calling g twice 

Irgendwelche Tipps, wie man das macht? Ich weiß, ich könnte stattdessen ein Tupel nehmen, aber ich möchte die Option zum Curry beibehalten.

Ich hoffe, ich habe das gut genug erklärt. :)

Answer 1

Sie können auch tun:

let calling = someBoolean || g ||> f 

Denn:

(||>) : ('a * 'b -> ('a -> 'b -> 'c) -> 'c) 

(Und ähnlich (|||>) : ('a * 'b * 'c -> ('a -> 'b -> 'c -> 'd) -> 'd))

Answer 2

Sie können eine Funktion definieren, die eine curried Funktion in einen umwandelt, das ein Paar Argument:

uncurry f (a, b) = f a b 

let calling = someBoolean || (uncurry f) g 

Answer 3

Sie aus dem Tupel Inline extrahieren kann, werden Sie immer noch den Vorteil des kurz- bekommen Schaltung.

let calling = someBoolean || let a,b = g in f a b 

Answer 4

Wie bereits erwähnt, können Sie die uncurry combinator definieren Funktion zu konvertieren Nehmen Sie zwei Argumente in eine Funktion, die Tupel nimmt.

Allerdings würde ich empfehlen, das nicht zu tun - diese Art der Programmierung ist nicht wirklich idiomatisch in F # (anders als etwa in Haskell) und ich denke, es macht Code schwer zu lesen, debuggen und zu warten.

Also, was stattdessen zu tun?

• Wenn die beiden Werte logisch zusammengehören (einige Unternehmen repräsentieren an anderer Stelle in Ihrem Code verwendet wird) dann f ändern auch ein Tupel zu nehmen.

• Wenn es nur zwei Werte sind, verwenden Sie let und die Mustererkennung, um das Tupel zu zerlegen. Dies wird länger sein, aber Sie müssen die Komponenten benennen, was die Lesbarkeit verbessert.

In Ihrer Probe g ist eigentlich ein Wert, so dass Sie nur schreiben:

let someThing, otherThing = g 
boolThing || (f someThing otherThing)