Функция проекции, получающие n аргументов и возвращающие один из них, называются n-поглотилем (n-consumer).
(defun identity (x) x)
combinator-T
, combinator-F
и combinator-0
Для 1 < n аппликация n-поглатителя к любому аргументу возвращает n-1-поглотитель.
(defvar project-1st-of-2 (lambda (x) (lambda (y) x))) (defvar project-2nd-of-2 (lambda (x) #'identity)) (defvar project-3rd-of-3 (lambda (x) ; 3-поглотитель (lambda (y) #'identity)))