Jane Street 是一家在倫敦、紐約、香港和阿姆斯特丹設有辦事處的量化交易公司，他們選擇 OCaml 是因為其豐富的型別系統可以提高程式碼的品質並及早發現錯誤。

Jane Street 是 OCaml 最大的商業用戶，將其應用於從研究工具到交易系統，再到系統基礎設施和會計系統的所有方面。用 OCaml 構建的軟體幫助他們每天安全地交易數十億美元。OCaml 強大的靜態分析工具幫助他們強制執行重要的不變性，以便他們的程式設計師可以專注於快速適應不斷變化的市場狀況。

Jane Street 擁有超過五百名 OCaml 程式設計師和超過 3000 萬行的 OCaml 程式碼。他們有近一百萬行的程式碼是開源的，並且他們還創建了開源 OCaml 生態系統的關鍵部分，例如社群事實上的構建系統 Dune；替代標準函式庫 Core；以及協作並行函式庫 Async。您可以查看他們的技術部落格來了解更多資訊。

挑戰

在過去的 20 多年中，Jane Street 一直使用 OCaml 作為他們的單一工具解決方案。在決定使用哪種程式語言時，他們想要一種快速而高效、能及早發現錯誤，並且他們可以在關鍵交易系統和日常工具中使用的語言。

解決方案

Jane Street 發現 OCaml 為他們提供了編譯語言和動態語言的優點。憑藉具有強大推斷能力的表達型別系統，它簡潔、安全且高效。用動態語言構建的大型程式碼庫可能會很快變得難以管理；OCaml 的型別系統與編輯器深度整合，使 Jane Street 的大型軟體系統更易於閱讀和維護。額外的好處是，OCaml 往往會吸引一些最優秀的程式設計師，並使實習生希望全職加入公司；使用 OCaml 對於技術招聘來說是一個福音。

簡而言之，OCaml 幫助 Jane Street 快速適應不斷變化的市場狀況，並順利地從原型轉移到生產系統。