Я только начинал чувствовать, что у меня было смутное понимание использования лямбда в ракетке и схеме, когда я натолкнулся на следующие "альтернативные" определения недостатков и автомобилей в SICP
(define (cons x y)
(lambda (m) (m x y)))
(define (car z)
(z (lambda (p q) p)))
(define (cdr z)
(z (lambda (p q) q)))
В моей жизни я просто не могу их разобрать.
Может ли кто-нибудь объяснить, как разбирать или расширять их таким образом, который имеет смысл для общих неофитов?