Espressioni lambda: parola chiave fun (F#)
La fun parola chiave viene usata per definire un'espressione lambda, ovvero una funzione anonima.
Sintassi
fun parameter-list -> expression
Osservazioni:
L'elenco di parametri è in genere costituito da nomi e, facoltativamente, tipi di parametri. Più in generale, l'elenco di parametri può essere composto da qualsiasi modello F#. Per un elenco completo dei possibili modelli, vedere Criteri di ricerca. Gli elenchi di parametri validi includono gli esempi seguenti.
// Lambda expressions with parameter lists.
fun a b c -> ...
fun (a: int) b c -> ...
fun (a : int) (b : string) (c:float) -> ...
// A lambda expression with a tuple pattern.
fun (a, b) -> …
// A lambda expression with a cons pattern.
// (note that this will generate an incomplete pattern match warning)
fun (head :: tail) -> …
// A lambda expression with a list pattern.
// (note that this will generate an incomplete pattern match warning)
fun [_; rest] -> …
L'espressione è il corpo della funzione, l'ultima espressione di che genera un valore restituito. Esempi di espressioni lambda valide sono i seguenti:
fun x -> x + 1
fun a b c -> printfn "%A %A %A" a b c
fun (a: int) (b: int) (c: int) -> a + b * c
fun x y -> let swap (a, b) = (b, a) in swap (x, y)
Uso di espressioni lambda
Le espressioni lambda sono particolarmente utili quando si desidera eseguire operazioni in un elenco o in un'altra raccolta e si vuole evitare il lavoro aggiuntivo di definizione di una funzione. Molte funzioni della libreria F# accettano valori di funzione come argomenti e possono essere particolarmente utili per usare un'espressione lambda in questi casi. Il codice seguente applica un'espressione lambda agli elementi di un elenco. In questo caso, la funzione anonima aggiunge 1 a ogni elemento di un elenco.
let list = List.map (fun i -> i + 1) [ 1; 2; 3 ]
printfn "%A" list
