Следуйте интерфейсу. Сохраняйте инвариант. Расширяйте таблицу.

Ответ Пара служит полезным механизмом реализации, тогда как общедоступной идеей остается интерфейс. Сохранение знаний о представлении за стабильным интерфейсом делает последующие изменения локальными, а не распространяющимися по всей программе.

Ответ Вектор использует соглашение об индексированной последовательности. vector-ref выбирает элемент по позиции, а vector-set! изменяет одну позицию без перестроения всего вектора.

Ответ Структура управления отражает определение данных. Благодаря этому соответствию процедура работает как с неглубоким списком, так и с глубоко вложенным деревом без отдельных ветвей для каждой глубины.

Ответ Печатная метка #0= вводит разделяемый объект, а метка #0# ссылается на этот же объект повторно. Такие метки сохраняют идентичность, которую скрыла бы обычная нотация списков.

Ответ accumulate объединяет преобразованную последовательность с помощью + и начального значения 0. Полная программа по-прежнему использует рекурсию, но управление распределено по повторно используемым этапам, а не сосредоточено в одной специализированной процедуре.

Ответ make-sum и make-product отвечают за очистку представления. Они удаляют сложение с нулем, умножение на ноль или единицу и объединяют числовые операнды, поэтому ветви дифференцирования формулируют математические правила без повторения деталей упрощения.

Ответ apply-generic удаляет метку только после того, как get выберет подходящую процедуру. Клиентский код указывает magnitude и передает данные с меткой, не проверяя, какое именно представление в них содержится. Добавление нового представления изменяет таблицу, а не обобщенный интерфейс.

Ответ Сложение объединяет две нижние границы и две верхние границы. Умножение должно учитывать все четыре произведения крайних точек, поскольку наименьший или наибольший результат может возникнуть на другой вершине, когда интервал пересекает ноль. Результатом является интервальная оболочка этих возможных произведений.

Ответ union-ordered-set сравнивает две головы. Процедура сохраняет меньший элемент и продвигает этот список, а равные головы дают один элемент и продвигают оба списка. Каждый рекурсивный шаг потребляет хотя бы одну текущую голову, сохраняя упорядоченность без повторного поиска с самого начала.

Ответ Кодирование проверяет, принадлежит ли следующий символ левой или правой ветви, и записывает 0 или 1 перед продолжением пути под этой ветвью. Декодирование обрабатывает те же решения в обратном направлении. Достижение листа выдает его символ и возвращает к корню для следующего кодового слова. Одинаковые веса могут допускать другое корректное дерево, но явное правило вставки фиксирует дерево, используемое в этих запусках.

Ответ Первая программа создает 3 + 4i в обеих формах и опрашивает их через те же четыре селектора. Предикат close? фиксирует, что неточный тригонометрический путь совпадает в пределах объявленного допуска. Вторая программа складывает значения через вещественную и мнимую части и явно возвращает прямоугольный объект, а умножение объединяет модули и углы и возвращает полярный объект. Обобщенные селекторы проверяют абстрактные результаты, не раскрывая вызывающему коду внутреннее содержимое объектов.

Ответ Вторая программа заменяет попарный выбор приведения упорядоченной башней типов. Процедура rank определяет уровни integer, rational и complex. Процедура raise выполняет только следующий шаг преобразования вверх, а raise-to повторяет его до тех пор, пока оба значения не достигнут старшего входного ранга. Сложение целого и рационального числа поэтому использует рациональное сложение. Сложение рационального и комплексного числа использует комплексное сложение после одного вызова raise. Несвязанная метка polynomial не имеет ранга и возвращает no-common-type. Башня устраняет неоднозначность для этих упорядоченных типов, но это не означает, что любой тип данных принадлежит единой иерархии или что проекция вниз всегда проходит без потерь.

Ответ Вторая программа умножает один член на каждый член другого многочлена, сдвигает порядки сложением, перемножает коэффициенты и объединяет промежуточные произведения через add-terms. Умножение x + 1 на x − 1 создает два взаимно уничтожающихся средних члена, оставляя x² − 1. Отдельный вычислитель использует селекторы пакета и сообщает 8 при x = 3. Этот урок моделирует разреженные многочлены от одной переменной с целыми коэффициентами, включая сложение, умножение, нормализацию и вычисление с метками типов.

Ответ Первый запуск помещает рисователь рамки с диагоналями внутрь квадратного кадра. Второй запуск применяет рисователь ромба к скошенному кадру. Определения рисователей не содержат итоговых координат страницы. Каждый запуск выводит по одной строке SEG на каждый отображенный отрезок, а встроенное средство визуализации преобразует эти строки трассы в монохромный SVG. Возвращаемое значение (segments n) остается отдельным наблюдением.

Ответ Первый запуск размещает четыре преобразованных шеврона в квадрате. Второй запуск рекурсивно определяет right-split: левая половина сохраняет исходный рисователь, а правая половина объединяет по вертикали две уменьшенные копии. На глубине 3 базовый рисователь из трех отрезков порождает 45 отображенных отрезков. Средство визуализации отрисовывает в точности те строки SEG, которые выводит Lispex, и ограничивает только рендеринг в браузере, а не собственные пределы выполнения среды.

Ответ В примере с точкой используется диспетчеризация сообщений. make-point возвращает процедуру, отвечающую на сообщения x, y и sum. Селекторы знают только эти сообщения. Обычная пара, вектор или другое замыкание могут заменить эту реализацию, если сохраняется то же наблюдаемое поведение конструкторов и селекторов.

Ответ eq? проверяет, обозначают ли операнды один и тот же символ или идентичный объект. equal? спускается по составным данным и сравнивает структуру и листья. Поэтому вторая программа отличает один разделяемый список от отдельного списка с тем же содержимым, признавая при этом их структурное равенство.

Ответ Бинарное дерево поиска хранит меньшие элементы слева, а большие элементы справа. Каждое сравнение выбирает одну ветвь вместо сканирования каждого элемента. tree->list выполняет центрированный обход и восстанавливает упорядоченную последовательность. Сбалансированное построенное вручную дерево демонстрирует правило поиска, тогда как несбалансированное дерево показывает линейный путь.

Ответ Вторая программа начинается только с метода описания для integer. Рациональное значение rational сначала приводит к no-method. Установка еще одной записи в таблицу позволяет тому же диспетчеру describe принять это значение без изменения диспетчера или пакета integer. Аддитивность здесь явная и конечная: расширение происходит путем регистрации еще одного метода под новым ключом.

Ответ drop выполняет обратное действие с осторожностью. Рациональное число проецируется в целое число только тогда, когда его знаменатель равен 1. Комплексное значение проецируется в свою действительную часть только тогда, когда его мнимая часть в точности равна нулю. Спроецированное значение снова повышается в типе и сравнивается с исходным перед продолжением упрощения, поэтому ненулевая мнимая часть не может исчезнуть.