主要观点：OxCaml 是 OCaml 编程语言的快速扩展集，既是 Jane Street 的生产编译器，也是提升 OCaml 性能编程实验的实验室，希望这些扩展能逐渐贡献给上游 OCaml。
关键信息：

• 设计目标：提供对程序性能关键方面的安全、便捷、可预测控制，且只在需要的地方，同时保持在 OCaml 中。
• 扩展领域：包括无畏并发（静态排除数据竞争）、布局（指定数据内存布局和 SIMD 访问）、控制分配（减少 GC 压力等）、生活质量相关（如多态参数等）。
• 使用方式：开源，欢迎实验用户，有修改后的标准 OCaml 工具集，Jane Street 开源的库有 OCaml 版和 OxCaml 版。
  重要细节：
• 安全方面，确保程序员更高效且代码正确，避免语言过于不安全难以正确使用。
• 便捷方面，在增加类型系统表达性的同时保持优秀的类型推断。
• 可预测方面，通过在类型级别明确关键性能细节来维持和提升 OCaml 代码的性能可理解性。
• “按需使用”意味着不用时无需承受额外复杂性。
• “在 OCaml 中”意味着有效 OCaml 程序也是有效 OxCaml 程序，且要保持 OCaml 的基本设计感和优势。
• 工具集包括兼容 dune 和 opam 的包管理、LSP 服务器的编辑器集成、源代码格式化、文档生成等。