Программирование на языке Egison: образцы и символьная алгебра под задачу

Беру заказы на языке Egison — это функциональный язык, ключевая особенность которого заключается в мощном нелинейном сопоставлении с образцом над не-свободными типами данных: множествами, мультимножествами и графами. Когда структура ваших данных сопротивляется привычному матчингу, я подбираю нужный matcher, и дальше язык Egison делает основную часть работы сам. Свои услуги я делю на три части. Начну с конструирования образцов: описываю коллекции, перестановки, комбинации карт, выравнивание последовательностей и комбинаторные условия в виде компактных сопоставителей, а затем прогоняю их через полные наборы проверок. Далее идут символьные и математические расчёты: задействую встроенный символьный движок и тензорную индексную запись, чтобы выводить и дифференцировать формулы, собирать прототипы алгоритмов и подтверждать тождества, которые вручную выводить долго и рискованно. И, наконец, помощь исследователям: воспроизвожу результаты из работ про язык Egison, переношу чужие прототипы и перевожу математические постановки в рабочий код. На выходе вы получаете аккуратный прокомментированный исходник, файл README, готовый к запуску набор тестов и созвон с объяснением решения. Опыт функционального программирования на Haskell и Scheme у меня накоплен за несколько лет, поэтому язык Egison ложится в руку без разгона. Расскажите, какие структуры нужно сопоставить и какие равенства доказать, — и ещё до первой строки я пришлю план с контрольными точками.