Почему Scheme использует процедурное представление пар?

Я читаю СИКП. В 2.1.3 сказано:

То есть операции удовлетворяют условию, что для любых объектов x и y, если z равно (cons x y), то (car z) равно x и (cdr z) равно y. ... Вот определения:

 (define (cons x y)
   (define (dispatch m)
     (cond ((= m 0) x)
           ((= m 1) y)
           (else (error "Argument not 0 or 1 -- CONS" m))))
   dispatch)

 (define (car z) (z 0))

 (define (cdr z) (z 1))

...

Смысл демонстрации процедурного представления пар не в этом. что наш язык работает именно так (Scheme и системы Lisp в целом, реализовывать пары напрямую из соображений эффективности), но это может работать Сюда. Процедурное представление, хотя и неясное, является совершенно адекватным способом представления пар, поскольку оно удовлетворяет единственным условиям, которым должны соответствовать пары.

В C мы можем реализовать «пару», используя массив, который в ассемблерных кодах реализуется путем выделения одного последовательного адреса памяти для хранения данных. Мы можем проверить размер массива, чтобы убедиться, что это пара.

Тогда почему «процедурное представление» более эффективно для Scheme?

Я изучил компьютерную архитектуру. Приветствуются любые ответы, основанные на языке ассемблера.