Über den Service
ÜbersetztIch bin ein Ingenieur für funktionale Programmierung und arbeite täglich in Koka — einer Forschungssprache, die um algebraische Effekte und zeilenbasierte Effekt-Typen herum aufgebaut ist. Wenn Sie einen Prototyp, eine Bibliothek oder ein Tool in der Nähe des Compilers benötigen, bei dem jede Nebenwirkung in der Typ-Signatur verfolgt wird und nicht zur Laufzeit verborgen ist, helfe ich Ihnen. Meine typische Arbeit sieht so aus: Ich beschreibe Ihre Domäne mit einer kleinen Menge von Effektoperationen, schreibe Handler, die diesen Operationen konkrete Bedeutung geben, und lasse Koka's Typprüfer beweisen, dass keine unbehandelte Wirkung entkommt. Aufgrund dessen läuft dieselbe Logik auf einer echten Datenbank, einem Stub oder einer deterministischen Wiedergabe für Tests — einfach den Handler austauschen. Ich habe diese Technik verwendet, um Parser, endliche Automaten, asynchrone Pipelines und Interpreter für kleine Domänensprachen zu erstellen. Auf der Compiler-Seite lese ich selbstbewusst, wie Koka Effekte im Evidence-Passing-Stil entfaltet, überlege, wie typisierte Kompilierung Handler senkt, und diagnostiziere, warum eine Effektzeile sich nicht so vereinigt, wie Sie es erwartet haben. Infolgedessen erhalten Sie sauberen kommentierten Koka-Quellcode, eine kurze Projektnotiz, die die gewählten Effekt-Signaturen rechtfertigt, und eine Test-Suite, die jeden Handler isoliert überprüft. Komplexe Stellen beschreibe ich separat, damit Ihr Team den Code nach mir warten kann. Wenn Sie Effekt-Handler als Ersatz für Monadentransformatoren oder Callback-Spaghetti sehen — senden Sie mir die Aufgabe und ich werde ein konkretes Effekt-Design vorschlagen, bevor wir beginnen.
