Научные вычисления и символьная математика на языке Pure

Я специалист по функциональному программированию и каждый день работаю на языке Pure, предлагая разработку научного и математического ПО под ключ. Язык Pure — это язык на основе переписывания термов: программа задаётся как набор уравнений, а вычисление идёт через переписывание термов до нормальной формы. Такой подход удивительно естественно ложится на символьную математику, алгебраические преобразования и быстрое прототипирование численных алгоритмов. Поскольку Pure-lang компилируется в машинный код через JIT-бэкенд LLVM, изящный уравнительный стиль, который вы пишете, не стоит вам скорости во время исполнения. Что я делаю: движки символьной математики (упрощение, дифференцирование, алгебраические переписывания), конвейеры обработки сигналов и DSP-фильтры, численные решатели и аккуратные прототипы, позволяющие исследовательской команде проверить идею до перехода на более тяжёлый стек. Я пишу идиоматичный, хорошо структурированный код с сопоставлением по образцу над термами, макросами там, где они действительно оправданы, и тонкими мостами FFI к библиотекам на C, когда важна чистая пропускная способность. Типичные задачи — перенос насыщенных математикой ноутбуков MATLAB или Python в компактную программу на Pure-lang, обёртка существующей процедуры на C или Fortran для вызова прямо из уравнений, построение небольших предметных языков поверх движка переписывания. Каждый результат сопровождается набором тестов, документацией в коде и коротким разбором, чтобы ваши разработчики могли его развивать. За плечами годы опыта с языком Pure и с миром функциональных и термо-переписывающих языков; корректность для меня так же важна, как и производительность. Опишите задачу, примеры входов и ожидаемые выходы — верну рабочий, измеренный по производительности модуль с пояснениями, как правила переписывания ложатся на вашу математику.