Desenvolvedor OCaml: backends e compiladores seguros em tipos

Sou um desenvolvedor OCaml: crio serviços de backend rápidos e seguros em tipos, utilitários de console e ferramentas — compiladores, analisadores e sistemas de análise estática que mantêm grandes projetos em ordem. No meu trabalho, confio na forte inferência de tipos do OCaml e no expressivo sistema de módulos para transformar requisitos vagos em código que falha em tempo de compilação, não em produção. Se você tem um serviço que deve permanecer correto sob carga, um modelo de domínio que se espalha constantemente, ou um analisador que precisa ser ao mesmo tempo rigoroso e flexível, oferecerei um design onde os tipos carregam invariantes e o tempo de execução simplesmente faz o que as assinaturas prometem.

Ao longo dos anos, enviei backends HTTP e gRPC, trabalhadores em segundo plano e pipelines de processamento de dados em OCaml, bem como lexers, analisadores e intérpretes baseados em Menhir e ppx-rewriters. Valorizo o design funcional limpo: dados imutáveis por padrão, efeitos explícitos, pequenos módulos compostáveis e um núcleo limpo em um fino wrapper de I/O. Testo por propriedades e suítes de unidade rápidas, perfilando caminhos quentes, trabalhando com confiança com Dune, opam e o moderno multicore do OCaml quando a concorrência é necessária.

Vou me integrar a uma base de código existente ou iniciar um projeto do zero, e sempre documento o raciocínio por trás das decisões para que a próxima pessoa entenda.

— Serviços e APIs de backend seguros em tipos em OCaml
— Compiladores, intérpretes, analisadores e ferramentas de linguagem
— Análise estática, linters e ppx-rewriters
— Modelagem de domínio funcional com forte inferência de tipos
— Construindo com Dune e opam, testando e perfilando