标准 ML 开发者 — 编译器和类型工具

我是一名标准 ML 开发者，编写必须正确的代码：编译器、解释器、静态分析器、特定领域语言和支持形式推理的工具。我专注于 ML 家族 — SML/NJ 用于交互式开发和快速原型，MLton 用于整体程序优化和快速本地二进制，Poly/ML 在需要对大型代码库进行响应式 REPL 的地方。这不是 Haskell、OCaml 或 F#，而是具有精确形式定义、代数类型、穷尽模式匹配以及至关重要的强大模块系统（结构、签名和函子）的标准 ML，让您能够组装符合其接口的大型系统。

我的日常工作是将语法或语义转化为可工作的、可维护的代码。我设计抽象语法，编写词法分析器和解析器，构建类型检查和详细化过程，将所有内容降低到中间表示，并生成或解释结果。我关心使无效状态不可表示：我将不变式嵌入到类型系统中，以便编译器在第一次测试之前消除整个错误类别。当正确性必须被证明而不仅仅是检查时，我将 SML 代码与证明系统和规范工具链接，编写基于属性的测试和参考解释器，以精确锁定行为。

我乐于加入一个研究小组、语言团队或继承了成熟 SML 系统的公司，并在其中找到归属。我阅读他人的函子，理清复杂的签名，添加功能而不打破抽象边界，并记录推理，以便下一个人可以跟随。告诉我您需要什么语言、不变式或过程，我将为您提供干净、类型安全、结构良好的标准 ML，您可以依赖。

— 在 SML/NJ、MLton、Poly/ML 上的编译器和解释器
— 词法分析器、解析器、类型检查和详细化过程
— 模块设计：结构、签名和函子
— 特定领域语言和嵌入式解释器
— 基于属性的测试和参考解释器验证
— 形式推理、规范和证明器集成
— 重构和维护继承的标准 ML 代码