Computação científica e matemática simbólica na linguagem Pure

Sou especialista em programação funcional e trabalho diariamente na linguagem Pure, oferecendo desenvolvimento de software científico e matemático sob demanda. A linguagem Pure é baseada em reescrita de termos: um programa é definido como um conjunto de equações, e a computação avança reescrevendo termos para a forma normal. Essa abordagem se mapeia naturalmente para matemática simbólica, transformação algébrica e prototipagem rápida de algoritmos numéricos. Como a Pure-lang compila para código de máquina via backend JIT do LLVM, o elegante estilo baseado em equações que você escreve não compromete a velocidade de execução. O que eu faço: motores de matemática simbólica (simplificação, diferenciação, reescritas algébricas), pipelines de processamento de sinais e filtros DSP, solucionadores numéricos e protótipos limpos que permitem que equipes de pesquisa testem ideias antes de migrar para pilhas mais pesadas. Escrevo código idiomático e bem estruturado com correspondência de padrões sobre termos, macros onde realmente justificadas, e pontes FFI finas para bibliotecas C quando a taxa de transferência bruta importa. Tarefas típicas — portar cadernos MATLAB ou Python pesados em matemática para um programa compacto em Pure-lang, encapsular procedimentos C ou Fortran existentes para chamar diretamente de equações, construir pequenas linguagens específicas de domínio em cima do motor de reescrita. Cada resultado vem com um conjunto de testes, documentação de código e um breve guia para que seus desenvolvedores possam evoluí-lo. Tenho anos de experiência com a linguagem Pure e o mundo das linguagens funcionais e de reescrita de termos; a correção é tão importante para mim quanto o desempenho. Descreva a tarefa, exemplos de entrada e saídas esperadas — eu retornarei um módulo funcional, medido em desempenho, com explicações de como as regras de reescrita se mapeiam para sua matemática.