Декаррирование / Uncurrying: как работает на лямбда исчислении?

Question

[yul12]

Доброго времени дня!

Может ли добрая душа помочь разобраться в обратном процессе каррирования ? Каррирование хорошо объяснено на примерах в разных языках, а вот о декаррировании только информация, что это транформация противоположная каррированию. Как декаррировать на примере чистого лямбда исчисления?

Благодарю заранее за отклики!

Answer 1

[Сергей Горностаев]

Если на примере чистого лямбда-исчисления, то

define Head = λg . g (λa . λb . a)
define Tail = λg . g (λa . λb . b)
define Uncurry = λf . λp . f (head p) (tail p)

Вы уверены, что оно вам именно в таком виде надо, если вы саму концепцию не понимаете?

Comments

[yul12]

За пару часов перелопатила очень много статей на тему каррирования. Вывод : каррирование : преобразование функции с несколькими аргументами в функцию, принимающую один аргумент и возращающую функцию, принимающую остальные.
Декаррирование : обратный процесс. Декаррирование применяется к каррированной функции, чтобы восстановить аргумент, который был отправлен в return.

[Сергей Горностаев]

yul12, ну, если закрыть глаза на нюансы, то да, каррирование превращает функцию например с парой аргументов f(a, b) в функцию с одним аргументом, возвращающую другую функцию с одним аргументом f(a)(b), а декаррирование превращает функцию с одним аргументом, возвращающую функцию - f(a)(b), в одну функцию, принимающую два аргумента f(a, b).

[yul12]

Спасибо за уточнение. Я полностью согласна. Это и есть решение вопроса о декаррировании!

[Сергей Горностаев]

yul12, тогда мой ответ можно отметить решением :)

Answer 2

[Александр Скуснов]

Примеры на Haskell.
Возьмём функцию min, которая ждёт двух аргументов, а приходит кортеж (пара). Вот uncurry позволяет функции обрабатывать кортеж:

min 1 2        -- результат 1
uncurry f (x,y) = f x y
-- применение
uncurry min (1,2)   -- результат 1

Если определение записать в виде лямбда, то:
uncurry = \ f (x,y) -> f x y