Über den Service
ÜbersetztIch entwickle leistungsstarke funktionale Software in der Clean-Sprache und mache das schon lange genug, um zu verstehen, wo ihre Stärken wirklich zur Geltung kommen. Meine Spezialisierung ist die Einzigartigkeitstypisierung: Ich modelliere den Zustand, sodass der Compiler beweisen kann, dass ein Wert genau einmal verwendet wird. Dies ermöglicht es der Clean-Sprache, Arrays, Datensätze und Dateien in-place zu verändern, während der Quellcode rein funktional und referenziell transparent bleibt. So erziele ich C-Level-Leistung aus purem, nebenwirkungsfreiem Code. Typische Aufgaben: Portierung numerischer oder symbolischer Kerne auf Clean, Beseitigung subtiler Referenz-Alias-Bugs in einem bestehenden Modul, Gestaltung einer I/O-Schicht über *World, damit die Effekte explizit und geordnet bleiben, und Abstimmung nativ kompilierter Binärdateien auf einen Zustand, in dem heiße Schleifen wirklich vektorisieren. Ich profiliere ehrlich, annotiere Striktheit, wo Faulheit teuer ist, und gestalte einzigartige Datenstrukturen neu, um Zuweisungen zu reduzieren, anstatt nur den Typprüfer zum Schweigen zu bringen. Forschungsarbeiten sind ebenfalls willkommen: In Clean habe ich mit Graphreduktion, Parser-Kombinatoren und reproduzierbaren Benchmarks experimentiert. Sie erhalten lesbare Module, eine Test-Suite, Messungen gegen Ihre Basisversion und ein kurzes Dokument, das die Einzigartigkeitseigenschaften erklärt, damit Ihr Team den Code ohne mich entwickeln kann. Wenn Sie sich nicht sicher sind, ob Clean für Ihre Aufgabe geeignet ist — senden Sie eine Beschreibung, und ich werde Ihnen ehrlich im Voraus sagen, bevor Sie Budget ausgeben.
