# let square x = x * x
val square : int -> int = < fun >
# square 3
- : int = 9
# let rec fac x =
if x <= 1 then 1 else x * fac (x - 1)
val fac : int -> int = < fun >
# fac 5
- : int = 120
# square 120
- : int = 14400
受到產業領導者信賴
這些公司和組織每天都依賴 OCaml，還有成千上萬的其他開發人員。請參閱成功案例
為何選擇 OCaml？
可靠性
強大的型別安全，化繁為簡
OCaml 輕量級但高度表達的型別系統可在編譯時捕獲更多錯誤，而垃圾回收則讓您可以專注於應用程式邏輯，而不是記憶體管理。大型複雜的程式碼庫變得易於維護和重構。 OCaml 使您能夠在不斷變化的需求環境中建立具有最高安全性要求的關鍵任務軟體！
生產力
一流的編輯器和工具
OCaml 為 VS Code、Vim 或 Emacs 提供深度整合，以提供型別檢查、自動完成等功能。在流行的套件管理器 Opam、功能強大的互動式 REPL Utop 以及易於使用的文件產生器 odoc 之間，OCaml 程式設計師可以獲得完整且現代化的開發體驗。
效能
快速的編譯器和應用程式
OCaml 提供出色的執行時效能，同時不損害開發人員的體驗：位元組碼編譯器可快速產生小巧、高度可攜式的可執行檔；原生程式碼編譯器可產生高效的機器碼。儘管專注於效能，OCaml 編譯器一直以來都非常可靠和穩定
極其穩固可靠
儘管經過了所有這些測試，我們從未收到任何來自內部測試或現場報告的 XenServer 缺陷，可以追溯到 OCaml 執行時或編譯器中的錯誤。（在開發過程中，我們確實發現了一個輕微的編譯器錯誤，該錯誤在編譯具有許多函數引數的自動產生 OCaml 程式碼時觸發，但在我們報告時，該錯誤已在開發分支中修復，因此不需要與 INRIA 的維護人員互動。）-- Scott, D. & Sharp, R. & Gazagnaire, T. & Madhavapeddy, A. (2010). 在工業產品群組中使用函數式程式設計：觀點和認知。 ACM SIGPLAN Notices. 45. 87-92. 10.1145/1863543.1863557.
版本
近期版本
5.2.0 (2024-05-13)
- 重新引入 GC 壓縮
- 還原 POWER 64 位元的原生後端
- 執行緒清除器支援
- 新的 Dynarray 模組
- 用於隱藏包含目錄的新
-H標誌 - 適用於開發人員工具的專案範圍發生中繼資料支援
- 原始識別碼
- 型別表達式中的局部開啟
- 標準函式庫中約有 20 個新函數
- 執行時的許多修復和改進
- 許多錯誤修復
5.1.1 (2023-12-08)
- 從標準函式庫中刪除了 Marshall.Compression 標誌
- 5.1.0 的錯誤修復
變更日誌
OCaml 套件
探索數以千計的開放原始碼 OCaml 套件及其文件。