Наукові обчислення та символічна математика на мові Pure

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