История изменений
Исправление fulmar_lor, (текущая версия) :
Вообще это термин из лиспов. В лямбда исчислении функция для создания пары определяется так:
(\x. (\y. (\f. ((f x) y))))
Если обозначить эту функцию через pair, то например ((pair 1) 2) – это пара чисел 1 и 2 (числа тоже определяются через функции, если что).
Исправление fulmar_lor, :
Вообще это термин из лиспов. В лямбда исчислении функция для создания пары определяется так:
(\x. (\y. (\f. ((f x) y))))
. Если обозначить эту функцию через pair, то например (pair 1 2) – это пара чисел 1 и 2 (числа тоже определяются через функции, если что).
Исправление fulmar_lor, :
Вообще это термин из лиспов. В лямбда исчислении функция для создания пары определяется так:
(\x. (\y. (\f. ((f x) y))))
```. Если обозначить эту функцию через `pair`, то например `(pair 1 2)` -- это пара чисел `1` и `2` (числа тоже определяются через функции, если что).Исправление fulmar_lor, :
Вообще это термин из лиспов. В лямбда исчислении функция для создания пары определяется так: (\x. (\y. (\f. ((f x) y)))). Если обозначить эту функцию через pair, то например (pair 1 2) – это пара чисел 1 и 2 (числа тоже определяются через функции, если что).
Исходная версия fulmar_lor, :
Вообще это термин из лиспов. В лямбда исчислении функция для создания пары определяется так: (\x. (\y. (\f. ((f x) y)))). Если обозначить эту функцию через pair, то например (pair 1 2) – это пара чисел 1 и 2 (числа тоже определяются через функции, если что).