Développeur OCaml : backends et compilateurs sûrs pour les types

Je suis un développeur OCaml : je crée des services backend rapides, sûrs pour les types, des utilitaires de console et des outils — compilateurs, analyseurs et systèmes d'analyse statique qui maintiennent de grands projets en ordre. Dans mon travail, je m'appuie sur l'inférence de types forte d'OCaml et le système de modules expressif pour transformer des exigences vagues en code qui échoue à la compilation, pas en production. Si vous avez un service qui doit rester correct sous charge, un modèle de domaine qui s'étend constamment, ou un analyseur qui doit être à la fois strict et indulgent, je proposerai un design où les types portent des invariants et le runtime fait simplement ce que les signatures promettent.

Au fil des ans, j'ai expédié des backends HTTP et gRPC, des travailleurs en arrière-plan et des pipelines de traitement de données en OCaml, ainsi que des analyseurs, des parseurs et des interprètes basés sur Menhir et ppx-rewriters. J'apprécie un design fonctionnel propre : des données immuables par défaut, des effets explicites, de petits modules composables et un cœur propre dans un mince wrapper I/O. Je teste par propriétés et suites unitaires rapides, profile les chemins chauds, travaille en toute confiance avec Dune, opam et le multicœur moderne d'OCaml lorsque la concurrence est nécessaire.

Je vais soit me brancher sur une base de code existante, soit commencer un projet de zéro, et je documente toujours le raisonnement derrière les décisions afin que la personne suivante comprenne.

— Services backend et API sûrs pour les types en OCaml
— Compilateurs, interprètes, parseurs et outils de langage
— Analyse statique, linters et ppx-rewriters
— Modélisation fonctionnelle de domaine avec une forte inférence de types
— Construction avec Dune et opam, tests et profilage