Calcul scientifique et mathématiques symboliques dans le langage Pure

Je suis un spécialiste de la programmation fonctionnelle et je travaille quotidiennement en langage Pure, offrant un développement de logiciels scientifiques et mathématiques clé en main. Le langage Pure est basé sur la réécriture de termes : un programme est défini comme un ensemble d'équations, et le calcul se déroule en réécrivant les termes en forme normale. Cette approche s'adapte naturellement aux mathématiques symboliques, à la transformation algébrique et au prototypage rapide d'algorithmes numériques. Étant donné que Pure-lang compile en code machine via le backend JIT LLVM, le style élégant basé sur les équations que vous écrivez ne nuit pas à la vitesse d'exécution. Ce que je fais : moteurs de mathématiques symboliques (simplification, différentiation, réécritures algébriques), pipelines de traitement du signal et filtres DSP, solveurs numériques et prototypes propres permettant aux équipes de recherche de tester des idées avant de passer à des piles plus lourdes. J'écris un code idiomatique et bien structuré avec correspondance de motifs sur les termes, des macros lorsque cela est vraiment justifié, et des ponts FFI fins vers des bibliothèques C lorsque le débit brut est important. Tâches typiques : porter des notebooks MATLAB ou Python riches en mathématiques en un programme compact en Pure-lang, envelopper des procédures C ou Fortran existantes pour les appeler directement à partir des équations, construire de petits langages spécifiques à un domaine sur le moteur de réécriture. Chaque résultat est accompagné d'une suite de tests, de documentation de code et d'un court guide afin que vos développeurs puissent l'évoluer. J'ai des années d'expérience avec le langage Pure et le monde des langages fonctionnels et de réécriture de termes ; la correction m'importe autant que la performance. Décrivez la tâche, des exemples d'entrée et des sorties attendues — je vous renverrai un module fonctionnel, mesuré en performance, avec des explications sur la façon dont les règles de réécriture se rapportent à vos mathématiques.