(Kestrel) K-combinator: perché è utile?

Question

Recentemente ho assunto F # (il mio background è C#) e sto leggendo il sito http://fsharpforfunandprofit.com, che sto trovando molto utile.

Devo http://fsharpforfunandprofit.com/posts/defining-functions/ che è la sezione sui combinatori. Li capisco tutti (anche se il combinatore Y o Sage si avvita con la mente!) Con l'eccezione del Gheppio. Scott Wlaschin dà la definizione (in F #) come:

let K x y = x 

non riesco a capire per la vita di me qualsiasi situazione in cui questo sarebbe utile. All'inizio ho pensato che potesse essere usato come operatore di catena, in modo da poter passare un valore a una funzione e quindi recuperare il valore originale. Ho scritto un tale operatore me stesso prima, ma come si può vedere che non è lo stesso:

let (>|) x f = f x; x 

Se parzialmente applichiamo il combinatore K (con il valore 5) allora torniamo una funzione che ignora il suo argomento e invece restituisce 5. Ancora, non utile.

(K 5) = fun y -> 5 

Qualcuno può darmi un esempio semplice di dove questo potrebbe essere utilizzato per favore?

Answer 1

Ecco un esempio molto semplice:

Facciamo supponiamo di avere una struttura, come una lista in cui posso mappare le funzioni.

let K x y = x 

let lst = [3;5;13;2] 

Posso tracciare funzioni matematiche come questo:

let plus5 = lst |> List.map ((+)5) // instead of writing List.map (fun x -> 5 + x) 
// val plus5 : int list = [8; 10; 18; 7] 

let times3 = lst |> List.map ((*)3) // instead of writing List.map (fun x -> 3 * x) 
// val times3 : int list = [9; 15; 39; 6] 

Cosa devo fare per mappare una funzione costante?

let tens = lst |> List.map (K 10) // instead of writing List.map (fun x -> 10) 
// val tens : int list = [10; 10; 10; 10] 

dato che in FP in genere si passa funzioni come argomenti, il combinatore K consente di specificare una funzione costante con pochi tasti.