用途：该技能面向构建高可靠性交易系统，借鉴 Jane Street 的函数式编程与类型驱动设计思路，强调正确性、可表达性与可推理的代码。
主要能力：以 OCaml 为核心，主张用和类型（variant）建模订单状态机，用 Option 替代 null，用 Result 类型显式处理错误而非异常；默认不可变数据，副作用显式化；用模块签名划定抽象边界；用纯函数实现定价（如 Black-Scholes 与希腊值）；用 Incremental 做实时增量计算；用属性测试（Quickcheck）验证不变量，如撮合公平性与看涨看跌平价。
使用方式：资料给出代码模式示例，包括让非法状态不可表示、Result 错误传播、纯函数定价引擎、穷尽模式匹配的状态机、实时定价管线与属性测试。具体安装命令与运行步骤暂未提供。
适用场景：量化交易、做市、订单管理与实时定价等对正确性要求极高的系统设计参考。
限制：资料未提供收费、平台、性能数据或完整可运行工程；示例为 OCaml 片段，需自行搭建环境。