Рекурсивные и параметрические интерпретаторы
sergey shishkinhttps://books.google.de/books?id=XxHwAAAAIAAJ
- Моноид (Список с операцией конкатенации и пустым списком как нейтральным элементом, Словарь. Нейтральный элемент — пустой словарь. Операция — объединение словарей по ключу, при равенстве ключа для значений должна быть определена операция слияния (замечание: если операция слияния значений некоммутативна, то слияние словарей тоже будет некоммутативно). Можно определить операцию слияния (числа складывать, строки конкатенировать, списки конкатенировать, для вложенных словарей проводить операцию рекурсивно, Множество всех конечных строк с элементами из алфавита образует моноид, обычно обозначаемый. Операция определяется как конкатенация строк), Бинарная ассоциативная операция, Эндоморфизм (сохраняет структуру), Функтор (функциональный объект или параметрический модуль) - объект, который можно использовать как функцию ... Моноидальные вычисления в деревьях ... Полугруппы с нейтральным элементом ...