OCaml 开发者：类型安全的后端和编译器

我是一名 OCaml 开发者：我创建快速、类型安全的后端服务、控制台工具和工具链——编译器、解析器和静态分析系统，保持大型项目的有序。如果您有一个必须在负载下保持正确的服务，一个不断扩展的领域模型，或者一个需要同时严格和宽松的解析器，我将提供一个设计，其中类型承载不变性，运行时简单地执行签名所承诺的内容。

多年来，我在 OCaml 中交付了 HTTP 和 gRPC 后端、后台工作者和数据处理管道，以及基于 Menhir 和 ppx-rewriters 的词法分析器、解析器和解释器。我重视干净的函数式设计：默认不可变数据、显式效果、小的可组合模块和薄 I/O 包装中的干净核心。我通过属性和快速单元测试进行测试，分析热点路径，自信地使用 Dune、opam 和 OCaml 的现代多核，当需要并发时。

我可以接入现有代码库或从头开始一个项目，并且我总是记录决策背后的理由，以便下一个人理解。

— OCaml 中的类型安全后端服务和 API
— 编译器、解释器、解析器和语言工具
— 静态分析、代码检查工具和 ppx-rewriters
— 具有强类型推断的函数式领域建模
— 使用 Dune 和 opam 构建、测试和分析