Sviluppatore OCaml: backend e compilatori sicuri per i tipi

Sono uno sviluppatore OCaml: creo servizi backend veloci e sicuri per i tipi, utilità da console e strumenti — compilatori, parser e sistemi di analisi statica che mantengono in ordine grandi progetti. Nel mio lavoro mi affido all'inferenza di tipo forte di OCaml e al suo espressivo sistema di moduli per trasformare requisiti vaghi in codice che fallisce al momento della compilazione, non in produzione. Se hai un servizio che deve rimanere corretto sotto carico, un modello di dominio che si espande costantemente, o un parser che deve essere sia rigoroso che permissivo allo stesso tempo, offrirò un design in cui i tipi portano invarianti e il runtime fa semplicemente ciò che le firme promettono.

Negli anni ho realizzato backend HTTP e gRPC, lavoratori in background e pipeline di elaborazione dati in OCaml, così come lessici, parser e interpreti basati su Menhir e ppx-rewriters. Valuto un design funzionale pulito: dati immutabili per impostazione predefinita, effetti espliciti, piccoli moduli composabili e un core pulito in un sottile wrapper I/O. Testo per proprietà e suite di unità veloci, profilo percorsi caldi, lavoro con sicurezza con Dune, opam e il moderno multicore di OCaml quando è necessaria la concorrenza.

Mi collegherò a un codice esistente o inizierò un progetto da zero, e documenterò sempre il ragionamento dietro le decisioni affinché la prossima persona comprenda.

— Servizi backend e API sicuri per i tipi in OCaml
— Compilatori, interpreti, parser e strumenti linguistici
— Analisi statica, linters e ppx-rewriters
— Modellazione funzionale del dominio con forte inferenza di tipo
— Costruzione con Dune e opam, test e profilazione