Desarrollador de OCaml: backends y compiladores seguros en tipos

Soy un desarrollador de OCaml: creo servicios de backend rápidos y seguros en tipos, utilidades de consola y herramientas — compiladores, analizadores y sistemas de análisis estático que mantienen grandes proyectos en orden. En mi trabajo confío en la fuerte inferencia de tipos de OCaml y en su expresivo sistema de módulos para convertir requisitos vagos en código que falla en tiempo de compilación, no en producción. Si tienes un servicio que debe permanecer correcto bajo carga, un modelo de dominio que se expande constantemente, o un analizador que necesita ser estricto y permisivo a la vez, ofreceré un diseño donde los tipos llevan invariantes y el tiempo de ejecución simplemente hace lo que las firmas prometen.

A lo largo de los años he entregado backends HTTP y gRPC, trabajadores en segundo plano y tuberías de procesamiento de datos en OCaml, así como analizadores léxicos, analizadores e intérpretes basados en Menhir y ppx-rewriters. Valoro el diseño funcional limpio: datos inmutables por defecto, efectos explícitos, módulos pequeños y composables y un núcleo limpio en un delgado envoltorio de E/S. Pruebo por propiedades y suites de unidad rápidas, perfilo rutas calientes, trabajo con confianza con Dune, opam y el moderno multicore de OCaml cuando se necesita concurrencia.

Puedo integrarme en una base de código existente o comenzar un proyecto desde cero, y siempre documento el razonamiento detrás de las decisiones para que la próxima persona lo entienda.

— Servicios y APIs de backend seguros en tipos en OCaml
— Compiladores, intérpretes, analizadores y herramientas de lenguaje
— Análisis estático, linters y ppx-rewriters
— Modelado de dominio funcional con fuerte inferencia de tipos
— Construcción con Dune y opam, pruebas y perfilado