Computación científica y matemáticas simbólicas en el lenguaje Pure

Soy especialista en programación funcional y trabajo a diario en el lenguaje Pure, ofreciendo desarrollo de software científico y matemático llave en mano. El lenguaje Pure se basa en reescritura de términos: un programa se define como un conjunto de ecuaciones, y el cálculo avanza reescribiendo términos a forma normal. Este enfoque se mapea naturalmente a matemáticas simbólicas, transformación algebraica y prototipado rápido de algoritmos numéricos. Dado que Pure-lang se compila a código máquina a través del backend JIT de LLVM, el elegante estilo basado en ecuaciones que escribes no afecta la velocidad de ejecución. Lo que hago: motores de matemáticas simbólicas (simplificación, diferenciación, reescrituras algebraicas), tuberías de procesamiento de señales y filtros DSP, solucionadores numéricos y prototipos limpios que permiten a los equipos de investigación probar ideas antes de pasar a pilas más pesadas. Escribo código idiomático y bien estructurado con coincidencia de patrones sobre términos, macros donde realmente están justificadas, y puentes FFI delgados a bibliotecas C cuando el rendimiento bruto es importante. Tareas típicas: portar cuadernos de MATLAB o Python con mucho contenido matemático a un programa compacto en Pure-lang, envolver procedimientos existentes en C o Fortran para llamarlos directamente desde ecuaciones, construir pequeños lenguajes específicos de dominio sobre el motor de reescritura. Cada resultado viene con un conjunto de pruebas, documentación del código y un breve recorrido para que tus desarrolladores puedan evolucionarlo. Tengo años de experiencia con el lenguaje Pure y el mundo de los lenguajes funcionales y de reescritura de términos; la corrección es tan importante para mí como el rendimiento. Describe la tarea, ejemplos de entrada y salidas esperadas: devolveré un módulo funcional, medido en rendimiento, con explicaciones de cómo las reglas de reescritura se mapean a tus matemáticas.