Разработка на языке Egison: сопоставление с образцом и символьные вычислени

Я разрабатываю прикладной и исследовательский код на языке Egison — функциональном языке, чья главная черта — выразительное нелинейное сопоставление с образцом над не-свободными типами данных: множествами, мультимножествами, графами. Если у вас есть данные, структура которых плохо ложится на обычное сопоставление, я описываю подходящий matcher, и язык Egison берёт основную работу на себя. Моя практика делится на три направления. Первое — проектирование образцов: я кодирую коллекции, перестановки, покерные комбинации, выравнивание последовательностей и комбинаторные ограничения в виде лаконичных сопоставителей и проверяю их исчерпывающими тестами. Второе — символьные и математические вычисления: применяю встроенный символьный движок и тензорную индексную нотацию, чтобы выводить и дифференцировать выражения, прототипировать алгоритмы и проверять тождества, которые вручную считать утомительно. Третье — поддержка исследований: помогаю воспроизвести результаты из статей про язык Egison, переносить прототипы и превращать математические спецификации в исполнимый код. В результат входят чистый комментированный исходник, README, запускаемый набор тестов и короткий созвон с разбором. За плечами несколько лет функционального программирования на Haskell и Scheme, поэтому переход к языку Egison даётся мне естественно. Опишите, какие структуры нужно сопоставить и какие тождества доказать, и я пришлю план с этапами ещё до первой строчки кода.