(Kestrel) K-birleştirici: neden yararlıdır?

Question

Son zamanlarda (arka planım C#) olan F # yi alıyorum ve çok faydalı bulduğum http://fsharpforfunandprofit.com sitesini okuyorum.

Taraklayıcıların bulunduğu bölüm olan http://fsharpforfunandprofit.com/posts/defining-functions/'a sahibim. Kestrel haricinde hepsini (her ne kadar aklımdaki Y birleştiricisi veya Adaçayı kuş vidaları olsa da) anlıyorum. Beni hayat bu yararlı olacağını herhangi bir durum için anlayamıyorum

let K x y = x 

: Scott Wlaschin olarak (F #) tanımını verir. İlk başta zincir operatörü olarak kullanılabileceğini düşündüm, böylece bir işleve bir değer iletebilir ve sonra orijinal değeri geri alabilirsin. o zaman geri argüman yok sayar bir fonksiyon olsun biz kısmen (5 değeriyle) K bağdaştırıcının uygularsanız

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

: Kendimi daha önce böyle bir operatör yazdım ama gördüğünüz gibi aynı şey değil ve bunun yerine 5 döndürür. Yine, yararlı değil.

(K 5) = fun y -> 5 

kimse bana bu lütfen kullanılabilecek nereye kolay bir örnek verebilir misiniz?

en ı işlevlerini haritalayabilirsiniz bir listesi gibi bir yapıya sahip varsayalım:

Answer 1

İşte çok kolay bir örnektir.

let K x y = x 

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

böyle matematik fonksiyonlarını haritalayabilirsiniz:

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] 

Ne sabit bir fonksiyonu eşleştirmek isterseniz? FP içinde genellikle argüman gibi işlevleri geçmesi göz önüne alındığında

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

, K combinator Eğer birkaç tuşa basarak sabit bir fonksiyonu belirlemenizi sağlar.