2014-02-13
574
Упорядоченную пару можно определить следующим образом:
(E l ,E 2 ) 
λf. f E l E 2
Функции для извлечения компонентов пары можно определить как:
Эти определения удовлетворяют соотношениям:
и
Тройки, четверки и произвольные n-кортежи можно построить с помощью пар:
При этом следует ввести соглашение, что оператор «запятая» ассоциативен вправо.
Функции fst и snd можно расширить на случай n-кортежей. Определим функцию селектора, которая возвращает i -й компонент кортежа р. Будем записывать ее как (p)i. Тогда (p)1 = fst p и (p)i = fst (sndi-1 p), при 1< i < n
и (p)n = sndn-1 p.
