Подтвердить что ты не робот

(Kestrel) K-combinator: зачем это полезно?

Недавно я занимался F # (мой фон - С#), и я читаю сайт http://fsharpforfunandprofit.com, который я нахожу очень полезным.

Я должен http://fsharpforfunandprofit.com/posts/defining-functions/, который является разделом комбинаторов. Я понимаю их всех (хотя винтовка Y combinator или Sage с моим умом!), За исключением пустельги. Скотт Wlaschin дает определение (в F #) как:

let K x y = x

Я не могу понять для жизни меня любую ситуацию, в которой это было бы полезно. Сначала я думал, что он может использоваться как оператор цепи, так что вы можете передать значение функции, а затем вернуть исходное значение. Я уже писал такой оператор раньше, но, как вы видите, это не то же самое:

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

Если мы частично применим комбинатор K (со значением 5), мы возвращаем функцию, которая игнорирует свой аргумент и вместо этого возвращает 5. Опять же, не полезно.

(K 5) = fun y -> 5

Может ли кто-нибудь дать мне простой пример того, где это может быть использовано?

4b9b3361

ОТВЕТЫ

Ответ 1

Вот очень простой пример:

Предположим, что у меня есть структура, такая как список, где я могу отображать функции.

let K x y = x

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

Я могу отобразить математические функции следующим образом:

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]

Что делать, если я хочу отобразить постоянную функцию?

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

Учитывая, что в FP вы обычно передаете функции в качестве аргументов, комбинатор K позволяет вам указать постоянную функцию с несколькими нажатиями клавиш.