Функциональное программирование. Лекция 7

В этой лекции на примере программы для упрощения выражений иллюстрируется ряд идей, связанных с "предметными языками" (DSL):

• Формулировка логики программы в терминах предметной области, а не в терминах целевого языка
• Отделение правил от механизма их интерпретации
• Использование средств целевого языка для оперирования самими правилами (например, использование макросов)
• Пример декомпозиции интерпретатора правил для системы переписывания термов ("окружения", унификация, подстановка, основной цикл)

Текст лекции

Страница лекции на сайте Computer Science клуба