Можно, например, с помощью MOP'а один раз написать универсальный конструктор (специализация make-instance), доступ к слотам (специализация slot-value-using-class, slot-boundp-using-class, slot-makunbound-using-class), и можно писать такие конструкции:

Источник: 0017092

сразу имеем доступ к слотам:

Источник: 0017092

Конечно, можно обойтись и без MOP (я использую генератор конструктора и функций доступа к слотам на основе макросов), но с MOP получается уж больно красиво и элегантно.

Источник: 0017092

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

Источник: 032847 ICFPC'11 newbie. Part 2. Уминание снежного кома.

Конечно, этот повторитель не совсем то, что хотел получить от меня antilamer - он предполагал учитывать множественность путей ведущих к данной формуле, в этом случае иногда не нужно было бы начинать построение сначала при изменении слотов.

Источник: 032847 ICFPC'11 newbie. Part 2. Уминание снежного кома.