Jane Street 是一家量化交易公司，在伦敦、纽约、香港和阿姆斯特丹设有办事处，选择 OCaml 是因为其丰富的类型系统提高了代码质量并及早发现错误。

Jane Street 是 OCaml 的最大商业用户，将其用于从研究工具到交易系统，再到系统基础设施和会计系统的所有方面。用 OCaml 构建的软件帮助他们在每天安全交易数十亿美元。OCaml 强大的静态分析工具有助于强制执行重要的不变式，使他们的程序员能够专注于快速适应不断变化的市场条件。

Jane Street 拥有超过 500 名 OCaml 程序员和超过 3000 万行 OCaml 代码。他们将近 100 万行代码是开源的，并且他们创建了开源 OCaml 生态系统的关键部分，例如 Dune（社区的实际构建系统）、Core（替代标准库）和 Async（协作并发库）。您可以通过查看他们的 技术博客 了解更多信息。

挑战

在过去的 20 多年里，Jane Street 一直使用 OCaml 作为其单一工具解决方案。在选择编程语言时，他们想要一种快速且高效、及早发现错误并可在关键交易系统和日常实用程序中使用的语言。

解决方案

Jane Street 发现 OCaml 为他们提供了编译语言和动态语言的最佳之处。得益于具有强大推理功能的表达性类型系统，它简洁、安全且性能出色。用动态语言构建的大型代码库很快就会变得难以管理；OCaml 的类型系统深度集成到编辑器中，使 Jane Street 的大型软件系统更易读且更易于维护。作为额外的好处，OCaml 往往吸引了一些最优秀的程序员，并促使实习生想加入公司全职；使用 OCaml 对技术招聘大有裨益。

简而言之，OCaml 帮助 Jane Street 快速适应不断变化的市场条件，并从原型系统平稳过渡到生产系统。