Jane Street 有大量用于期权定价与低延迟风控的 SIMD 代码，过去这些内层循环只能用晦涩的 C 写，改展开因子或向量宽度都要大动干戈，还得绑死具体指令集。实习生 Sai Konkimalla 用 OxCaml 新加的运行时元编程写了一个 SPMD DSL 编译器：用户只写「输出切片里某个下标怎么算」，编译器负责循环、向量化与 JIT，同一份内核可以编译到多个架构上。