Impliziter Programmierstil mit F #

Question

Es ist kein praktisch wichtiges Problem, aber ich würde gerne ein Beispiel von tacit programming in F # sehen, wo meine point-free Funktionen mehrere Argumente haben können (nicht in Form einer Liste oder Tupel) .

Und zweitens, wie solche Funktionen eine komplexe Datenstruktur manipulieren können. Ich probiere es in F # Interactive aus, habe aber noch keinen Erfolg.

Ich habe versucht, zum Beispiel:

> (fun _ -> (fun _ -> (+))) 333 222 111 555 

Ist das richtig?

Und:

> (fun _ -> (fun _ -> (+))) "a" "b" "c" "d";; 

val it : string = "cd" 

Answer 1

F # nicht einige der grundlegenden Funktionen enthalten, die in Haskell verfügbar sind (vor allem, weil F # Programmierer in der Regel die explizite Art der Programmierung bevorzugen und pointfree Stil nur in den offensichtlichsten Fällen verwenden , wo es Lesbarkeit nicht schadet).

auch immer Sie ein paar grundlegende combinators wie folgt definieren:

// turns curried function into non-curried function and back 
let curry f (a, b) = f a b 
let uncurry f a b = f (a, b) 

// applies the function to the first/second element of a tuple 
let first f (a, b) = (f a, b) 
let second f (a, b) = (a, f b) 

Jetzt können Sie die Funktion implementieren können Längen von zwei Strings mit combinators hinzufügen wie folgt:

let addLengths = 
    uncurry (((first String.length) >> (second String.length)) >> (curry (+))) 

Diese Konstrukte zwei Funktionen Diese wendet String.length auf das erste/zweite Element eines Tupels an, setzt sie dann zusammen und fügt dann die Elemente des Tupels unter Verwendung von + hinzu. Die ganze Sache ist in uncurry verpackt, so erhalten Sie eine Funktion des Typs string -> string -> int.

Answer 2

In F # ist die arity von Funktionen festgelegt, so dass Sie nicht beide schreiben

(op) 1 2 

und

(op) 1 2 3 4 

op für einen bestimmten Betreiber gehen zu können. Sie müssen eine Liste oder andere Datenstruktur verwenden, wenn Sie das möchten. Wenn Sie nur benannte Variablen vermeiden möchten, können Sie immer "1 + 2 + 3 + 4" verwenden. Die idiomatische Methode zum Hinzufügen einer Liste von Zahlen in F # ist List.sum [1;2;3;4], die auch Variablen vermeidet.