OCaml-Entwickler: typensichere Backends und Compiler

Ich bin ein OCaml-Entwickler: Ich erstelle schnelle, typensichere Backend-Dienste, Konsolenwerkzeuge und Tools – Compiler, Parser und statische Analysesysteme, die große Projekte in Ordnung halten. In meiner Arbeit verlasse ich mich auf OCMLs starke Typinferenz und das ausdrucksstarke Modulsystem, um vage Anforderungen in Code zu verwandeln, der zur Kompilierzeit fehlschlägt, nicht in der Produktion. Wenn Sie einen Dienst haben, der unter Last korrekt bleiben muss, ein Domänenmodell, das ständig wächst, oder einen Parser, der sowohl streng als auch nachsichtig sein muss, biete ich ein Design an, bei dem Typen Invarianten tragen und die Laufzeit einfach das tut, was die Signaturen versprechen.

Im Laufe der Jahre habe ich HTTP- und gRPC-Backends, Hintergrundarbeiter und Datenverarbeitungspipelines in OCaml sowie Lexer, Parser und Interpreter basierend auf Menhir und ppx-rewriters ausgeliefert. Ich schätze sauberes funktionales Design: unveränderliche Daten standardmäßig, explizite Effekte, kleine komposable Module und einen sauberen Kern in einem dünnen I/O-Wrapper. Ich teste nach Eigenschaften und schnellen Unit-Suiten, profiliere heiße Pfade, arbeite sicher mit Dune, opam und OCaml's modernem Multicore, wenn Parallelität benötigt wird.

Ich werde entweder in einen bestehenden Codebestand einsteigen oder ein Projekt von Grund auf neu starten, und ich dokumentiere immer die Gründe für Entscheidungen, damit die nächste Person es versteht.

— Typensichere Backend-Dienste und APIs in OCaml
— Compiler, Interpreter, Parser und Sprachwerkzeuge
— Statische Analyse, Linter und ppx-rewriters
— Funktionale Domänenmodellierung mit starker Typinferenz
— Bauen mit Dune und opam, Testen und Profilieren