Obliczenia naukowe i matematyka symboliczna w języku Pure

Jestem specjalistą w programowaniu funkcyjnym i codziennie pracuję w języku Pure, oferując kompleksowy rozwój oprogramowania naukowego i matematycznego. Język Pure oparty jest na przekształcaniu terminów: program definiuje się jako zbiór równań, a obliczenia przebiegają poprzez przekształcanie terminów do postaci normalnej. To podejście naturalnie pasuje do matematyki symbolicznej, transformacji algebraicznych i szybkiego prototypowania algorytmów numerycznych. Ponieważ Pure-lang kompiluje do kodu maszynowego za pomocą backendu JIT LLVM, elegancki styl oparty na równaniach, który piszesz, nie wpływa na prędkość wykonania. Co robię: silniki matematyki symbolicznej (uproszczenie, różniczkowanie, przekształcenia algebraiczne), potoki przetwarzania sygnałów i filtry DSP, rozwiązania numeryczne i czyste prototypy, które pozwalają zespołom badawczym testować pomysły przed przejściem do cięższych stosów. Piszę idiomatyczny, dobrze zorganizowany kod z dopasowaniem wzorców do terminów, makra tam, gdzie jest to uzasadnione, oraz cienkie mosty FFI do bibliotek C, gdy liczy się surowa przepustowość. Typowe zadania — przenoszenie obliczeniowych notatników MATLAB lub Pythona do kompaktowego programu w Pure-lang, opakowywanie istniejących procedur C lub Fortran, aby można je było wywoływać bezpośrednio z równań, budowanie małych języków specyficznych dla dziedziny na silniku przekształceń. Każdy wynik zawiera zestaw testów, dokumentację kodu i krótki przewodnik, aby Twoi programiści mogli go rozwijać. Mam wieloletnie doświadczenie w języku Pure oraz w świecie języków funkcyjnych i opartych na przekształceniach terminów; poprawność jest dla mnie tak samo ważna jak wydajność. Opisz zadanie, przykłady wejściowe i oczekiwane wyniki — zwrócę działający moduł z pomiarem wydajności oraz wyjaśnieniami, jak zasady przekształceń odnoszą się do Twojej matematyki.