Виртуальные шаблоны синтеза алгоритмов
sergey shishkinЯзык предоставляет способы написания шаблонов для синтеза алгоритмов. Эти шаблоны являются эволюционно накопленными успешными схемами формирования макро-алгоритмов.
Шаблон - это совокупность текста, содержащего в своей конструкции некоторое множество базовых элементов, и трансформирующего алгоритма подстановки, замещающего имеющиеся базовые элементы в конструкции исходного текста на элементы-реализации, в результате исполнения которого получаемый текст становится опорой для алгоритма-реализации в соответствующей прикладной области.
Шаблон является основой для языковой специализации абстрактного переноса. Замещаемый элемент шаблона своей базой формирует требования к замещающим элементам, которые являются реализациями.
Примеры шаблонов в естественном языке:
- шаблоны человеческого поведения ("навешивание ярлыков");
- бланки документов с заполняемыми полями;
- итерационные, кумулятивные, рекурсивные сказки - универсальные шаблоны решения прикладных задач;
- формальные грамматики как рекурсивный шаблон формирующий строки, принадлежащие формальному языку;
- шаблоны часто применимых алгоритмов, например, алгоритмов трансформирующих списочные структуры данных (например, составление словарей со списком слов в алфавитном порядке).
Разобрать перечисленные шаблоны и соответствующие алгоритмы синтеза
- Статья "Сказки"