Über den Service
ÜbersetztIch bin Spezialist für funktionale Programmierung und arbeite täglich in der Pure-Sprache, biete schlüsselfertige Entwicklung von wissenschaftlicher und mathematischer Software an. Die Pure-Sprache basiert auf Termumformungen: Ein Programm wird als Menge von Gleichungen definiert, und die Berechnung erfolgt durch Umformung der Terme in die Normalform. Dieser Ansatz lässt sich natürlich auf symbolische Mathematik, algebraische Transformationen und schnelles Prototyping numerischer Algorithmen übertragen. Da Pure-lang über den LLVM JIT-Backend in Maschinencode kompiliert, kostet der elegante, gleichungsbasierte Stil, den Sie schreiben, keine Ausführungsgeschwindigkeit. Was ich tue: symbolische Mathematik-Engines (Vereinfachung, Differenzierung, algebraische Umformungen), Signalverarbeitungspipelines und DSP-Filter, numerische Löser und saubere Prototypen, die es Forschungsteams ermöglichen, Ideen zu testen, bevor sie zu schwereren Stacks übergehen. Ich schreibe idiomatischen, gut strukturierten Code mit Mustererkennung über Terme, Makros, wo es wirklich gerechtfertigt ist, und dünnen FFI-Brücken zu C-Bibliotheken, wenn rohe Durchsatzgeschwindigkeit wichtig ist. Typische Aufgaben — Portierung von mathematikintensiven MATLAB- oder Python-Notebooks in ein kompaktes Pure-lang-Programm, Einbindung bestehender C- oder Fortran-Verfahren, um direkt aus Gleichungen aufzurufen, Aufbau kleiner domänenspezifischer Sprachen auf der Rewrite-Engine. Jedes Ergebnis kommt mit einer Test-Suite, Code-Dokumentation und einer kurzen Anleitung, damit Ihre Entwickler es weiterentwickeln können. Ich habe jahrelange Erfahrung mit der Pure-Sprache und der Welt der funktionalen und termumformenden Sprachen; Korrektheit ist mir ebenso wichtig wie Leistung. Beschreiben Sie die Aufgabe, Eingabebeispiele und erwartete Ausgaben — ich werde ein funktionierendes, leistungsbewertetes Modul mit Erklärungen zurückgeben, wie Umformungsregeln auf Ihre Mathematik abgebildet werden.
