OCaml

  提示ていじ：此条目め页的主ぬし题不是ぜoccam。

OCaml

编程范型	多た范型：函数かんすう式しき，指令しれい式しき，模かたぎ块化，面めん向こう对象
语言家族かぞく	ML
設計せっけい者しゃ	Xavier Leroy, Damien Doligez, Didier Rémy, Jérôme Vouillon
實じつ作者さくしゃ	INRIA
发行时间	1996年ねん​（1996）
当とう前ぜん版本はんぽん	5.2.0（2024年ねん5月がつ13日にち；穩定版本はんぽん）
型かた態たい系統けいとう	静せい态，强つよ，类型推论
操作そうさ系けい统	跨またが平台ひらだい
許可きょか證しょう	GNU宽通用つうよう公共こうきょう许可证
網あみ站	ocaml.org
衍生副ふく語かたり言げん
F#, JoCaml, MetaOCaml
啟發けいはつ語ご言げん
C, Caml, Modula-2, Standard ML
影響えいきょう語ご言げん
ATS, Coq, Elm, F#, F*, Haxe, Opa, Rust, Scala

OCaml（/oʊˈkæməl/ oh-KAM-əl），是ぜ一いち个函数かんすう式しき、指令しれい式しき、模かたぎ块化、面めん向こう对象的てき通用つうよう的てき编程语言。在ざいXavier Leroy和わDamien Doligez，于1990年ねん和わ1991年ねん实现的てきML方言ほうげんCaml Light之これ上じょう，Didier Rémy和わJérôme Vouillon，于1996年ねん增加ぞうか了りょう面めん向こう对象特とく征せい，从而形成けいせい了りょう“Objective Caml”，在ざい2011年ねん时重命名めいめい为“OCaml”。

OCaml工具こうぐ链包括ほうかつ交互こうご式しき顶层解かい释器、字じ节码编译器き、优化的てき本ほん机つくえ代だい码编译器き，可逆かぎゃく调试器き和わ一いち个包つつみ管理かんり器き（OPAM）。OCaml最初さいしょ开发于自じ动定理ていり证明的てき场景中ちゅう，并在静せい态分析ぶんせき和わ形式けいしき方法ほうほう软件中有ちゅうう超凡ちょうぼん的てき存在そんざい感かん。此外，它在系けい统编程ほど、网页编程和わ金融きんゆう工程こうてい及其他た应用领域都と有ゆう严肃的てき应用。

历史上じょう，Ascánder Suárez于1987年ねん基もと于Guy Cousineau的てき范畴抽象ちゅうしょう机つくえ器き（CAM），重じゅう新しん实现了りょうGérard Huet早はや先さき的てきML方言ほうげん，并用“范畴抽象ちゅうしょう机つくえ语言”的てき首くび字母じぼ简写将はた其命名めいめい为Caml，Caml Light放ひ弃了这个抽象ちゅうしょう机つくえ器き又また进行了りょう重じゅう新しん实现。OCaml是ぜ开放源げん代だい码项目，此项目的もくてき管理かんり和大かずひろ部分ぶぶん维护工作こうさく，已やめ经交由ゆかり法ほう国こく国家こっか信しん息いき与あずか自じ动化研究所けんきゅうじょ（INRIA）。在ざい2000年代ねんだい早期そうき，来き自じOCaml的てき元素げんそ被ひ很多语言接せっ纳，特とく别是F#和わScala。

哲学てつがく

ML派生はせい语言最さい著ちょ称しょう的てき是ぜ静せい态类型系けい统和わ类型推论编译器き。OCaml将しょう函数かんすう式しき、指令しれい式しき和わ面めん向こう对象编程统一于类ML的てき类型系けい统之下か。因よし此编程ほど者しゃ不ふ需要じゅよう为了使用しようOCaml而非常ひじょう熟じゅく悉纯函数式すうしき编程范型。

通つう过要求ようきゅう编程者しゃ在ざい静せい态类型がた系けい统的约束下か工作こうさく，OCaml消しょう除じょ了りょう关联于动态类型がた语言的てき很多有ゆう关于类型的てき运行时间问题。还有，OCaml的てき类型推论编译器き，极大的てき减少了りょう在ざい多数たすう静せい态类型がた语言中ちゅう对手工こう类型标注的てき需要じゅよう。例れい如，变量的てき数かず据すえ类型和かず函数かんすう的てき签名，通常つうじょう不ふ需要じゅよう像ぞうJava和わC#语言中ちゅう那な样显式しき的てき声明せいめい，因いん为它们可以从应用于这个变量りょう和代かずよ码中其他值的算さん符ふ和わ其他函数かんすう推论出来でき。有效ゆうこう的てき使用しようOCaml的てき类型系けい统可能かのう要求ようきゅう一个编程者面对一些复杂性，但ただし是ぜ这种规矩能のう得え到いた可か靠もたれ的てき、高性能こうせいのう软件作さく为回报。

OCaml与あずか源みなもと于学术界的てき其他语言的てき最さい显著区く别可能かのう是ぜ强きょう调了性能せいのう。它的静せい态类型がた系けい统防止ぼうし了りょう运行时间类型不ふ匹ひき配はい，从而排除はいじょ了りょう动态类型语言运行时间类型和わ安全あんぜん检查的てき性能せいのう负担，却在除じょ了りょう关闭数すう组边界かい检查，和わ使用しよう一些类型不安全特征比如序列化之外的情况下，仍能保ほ证运行ぎょう时间安全あんぜん性せい。这些运行时间检查需求足あし够罕见，在ざい实践中ちゅう完全かんぜん可か以避免めん。

在ざい类型检查开销之の外そと，函数かんすう式しき编程语言，要よう编译成なり高だか效こう的てき机つくえ器き语言代だい码，由ゆかり于如函数かんすう参さん数すう问题这样的てき要点ようてん，一般而言是具有挑战性的。与あずか标准的てき循环、寄よせ存そん器き和わ指令しれい优化一起かずき，OCaml的てき优化编译器き采さい用よう静せい态程序じょ分析ぶんせき方法ほうほう，来らい优化值包装ほうそう（boxing）和わ闭包分配ぶんぱい，帮助结果代だい码得到いた最大さいだい化か的てき性能せいのう，即そく使つかい它大量りょう使用しよう了りょう函数かんすう式しき编程构造。

Xavier Leroy曾经宣せん称しょう：“OCaml至いたり少しょう提供ていきょう了りょう像ぞう样的C编译器き的てき50%的てき性能せいのう”，尽つき管かん直接ちょくせつ比ひ较是不可能ふかのう的てき。在ざいOCaml标准库中的てき一いち些函数すう，是ぜ采さい用よう比ひ在ざい其他语言标准库中等とう价的函数かんすう更さら快かい的てき算法さんぽう实现的てき。例れい如，在ざいOCaml标准库中集合しゅうごう并集的てき实现，在ざい理り论上比ひ指令しれい式しき语言（例れい如C++、Java）的てき标准库中的てき等とう价函数すう，要よう渐进性的せいてき更さら快かい，因いん为OCaml实现利用りよう了りょう集合しゅうごう的てき不可ふか变性，而在输出中ちゅう重用じゅうよう了りょう输入集合しゅうごう的てき一いち些部份（参まいり见可か持久じきゅう化か数すう据すえ结构）。

特とく征せい

OCaml的てき特とく征せい包括ほうかつ：静しず态类型系けい统、类型推论、参まいり数多すうた态、尾お递归、模も式しき匹ひき配はい、头等词法闭包、函はこ子こ（参さん数すう化か模も块）、例外れいがい处理和わ增量ぞうりょう分ぶん代だい自じ动垃圾回收かいしゅう。

OCaml著ちょ称しょう于将ML风格类型推论，扩展到いた通用つうよう语言中ちゅう的てき对象系けい统。这允许了结构子こ类型，这里的てき对象类型是ぜ兼けん容よう的てき，如果它们的てき方法ほうほう签名是ぜ兼けん容よう的てき，不用ふよう管かん它们声明せいめい的てき继承，这是在ざい静せい态类型がた语言中ちゅう不ふ寻常的てき特とく征せい。

OCaml提供ていきょう了りょう链接到いたC原はら语的外界がいかい函数かんすう接せっ口こう，包括ほうかつ了りょう兼けん容よう于C和わFortran二者格式的对高效数值数かず组的てき语言支持しじ。OCaml还支持しじ建立こんりゅう可か以链接せっ到いた用ようC写うつし的てきmain程ほど序じょ的てきOCaml函数かんすう库。

OCaml发行包含ほうがん了りょう：

• 词法分析ぶんせき和わ语法解析かいせき工具こうぐ分ぶん别叫做ocamllex和わocamlyacc。
• 支持しじ步ふ进回溯さかのぼ的てき调试器き用もちい来らい调查错误。
• 文ぶん档生成せいせい器き。
• 剖析器き用もちい来らい测量性能せいのう。
• 很多通用つうよう函数かんすう库。

本ほん机つくえ代だい码编译器可か以在很多平台ひらだい上じょう获得，包括ほうかつUnix、Microsoft Windows和わApple macOS。可か移植いしょく性せい是ぜ通どおり过至此主要よう架か构的本ほん机つくえ代だい码生成せいせい实现的てき：IA-32、X86-64（AMD64）、Power、RISC-V、ARM和わARM64。

OCaml字じ节码和本わほん机つくえ代だい码程序じょ可か以用多た线程风格书写，具有ぐゆう抢占式しき上下じょうげ文ぶん切きり换。但ただし是ぜ由よし于当前ぜん唯ただ一可得的语言完全实现INRIA OCaml的てき垃圾回收かいしゅう器き，不ふ是ぜ为并发性せい而设计的，对称多た处理是ぜ不ふ支持しじ的てき。在ざい相しょう同どう进程中ちゅう的てきOCaml线程只ただ能のう分ぶん时执行ぎょう。但ただし是ぜ有ゆう一些分布式计算库比如Functory和かずPlasma。

代だい码例子こ

OCaml的てき代だい码片段だん可か以通过键入いれ到いた顶层REPL中ちゅう来らい很容易えき的てき研とぎ习。这是一いち个交互こうご式しき的てきOCaml会かい话，它打印しるし结果或ある定てい义的表ひょう达式的てき推论出で的てき类型。OCaml顶层可か以通过简单执行ぎょうOCaml程ほど序じょ来らい启动：

$ ocaml
        OCaml version 4.13.1

#

可か以接着せっちゃく在ざい#提示ていじ符ふ处键入いれ代だい码。例れい如计算さん1+2*3:

# 1 + 2 * 3;;
- : int = 7

OCaml推论出で这个表ひょう达式的てき类型是ぜint（机つくえ器き精度せいど整数せいすう）并给出で结果7。

Hello World

下面かめん的てき程ほど序じょhello.ml:

print_endline "Hello World!"

可か以被编译成なり字じ节码可か执行文こうぶん件けん：

$ ocamlc hello.ml -o hello

或ある者もの被ひ编译成なり优化的てき本ほん地代じだい码可执行文こうぶん件けん：

$ ocamlopt hello.ml -o hello

接着せっちゃく执行它：

$ ./hello
Hello World!

给ocamlc的てき第だい一いち个实际参数すうhello.ml，指定してい要よう编译的てき源げん文ぶん件けん而-o hello标志指定してい了りょう输出文ぶん件けん。

阶乘函数かんすう

很多数学すうがく函数かんすう，比ひ如阶乘，可か以很自然しぜん的てき表示ひょうじ为纯粹いき的てき函数かんすう形式けいしき：

let rec fact n =
  if n=0 then 1 else n * fact(n - 1);;

这个函数かんすう可か以使用しよう模も式しき匹ひき配はい等とう价的写うつし为：

let rec fact = function
  | 0 -> 1
  | n -> n * fact(n - 1);;

后きさき者しゃ形式けいしき是ぜ阶乘作さく为递推关系的てき数学すうがく定てい义。

编译器き将はた这个函数かんすう的てき类型推论为int -> int，意味いみ着ぎ这个函数かんすう将しょうint映うつ射い到いたint。例れい如，12!：

# fact 12;;
- : int = 479001600

斐波那な契ちぎり序列じょれつ

下しも列代れつだい码计算さん输入数すうn的てき斐波那な契ちぎり数列すうれつ。它使用よう了りょう尾お递归和わ模も式しき匹ひき配はい。

let fib n =
  let rec fib_aux m a b =
    match m with
    | 0 -> a
    | _ -> fib_aux (m - 1) b (a + b)
  in fib_aux n 0 1;;

生なま日にち问题

下しも列れつ程ほど序じょ计算在ざい一个屋子里面有完全唯一的生日概率小于50%的てき最少さいしょう人数にんずう，在ざい生なま日にち问题中なか，对于1个人这个概がい率りつ是ぜ365/365（或ある100%），对于2个人是ぜ364/365，对于3个人是ぜ364/365 × 363/365，最さい终答案あん是ぜ23个人：

let year_size = 365.
let rec birthday_paradox prob people =
  let prob = (year_size -. float people) /. year_size *. prob  in
  if prob < 0.5 then
    Printf.printf "answer = %d\n" (people+1)
  else
    birthday_paradox prob (people+1);;

# birthday_paradox 1.0 1;;
answer = 23
- : unit = ()

合ごう计整数列すうれつ表ひょう

列れつ表ひょう是ぜOCaml中ちゅう的てき基もと础数据すえ类型之の一いち。下面かめん的てき代だい码例子こ定てい义递归函数かんすうsum，它接受せつじゅ一いち个实际参数すうintegers，而它被ひ假定かてい为整数すう的てき列れつ表ひょう。注意ちゅうい关键字じrec指示しじ了りょう这个函数かんすう是ぜ递归的てき。这个函数かんすう递归的てき在ざい给定整数せいすう列れつ表ひょう之の上うえ进行迭代，并提供ていきょう这些元素げんそ的てき一いち个总和わ。match语句类似于C的てきswitch语句，但ただし要よう更さら加か一般いっぱん性せい。

let rec sum integers =                   (* 关键字じrec含义为递归。 *)
  match integers with
  | [] -> 0                              (* 产生0，如果integers为空列くうれつ表ひょう []。 *)
  | first :: rest -> first + sum rest;;  (* 递归调用，如果integers是非ぜひ空列くうれつ表ひょう；
                                            first是ぜ这个列れつ表ひょう的てき第だい一いち个元素げんそ，
                                            而rest是ぜ余あまり下か元素げんそ的てき列れつ表ひょう，可能かのう是ぜ[]。 *)

# sum [1;2;3;4;5];;
- : int = 15

另一种方式是对列表使用标准的fold高こう阶函数すう:

let sum integers =
  List.fold_left (fun accumulator x -> accumulator + x) 0 integers;;

# sum [1;2;3;4;5];;
- : int = 15

因いん为匿名とくめい函数かんすう是ぜ简单的てき+算さん符ふ应用，它可以简写うつし为：

let sum integers =
  List.fold_left (+) 0 integers

进一いち步ほ的てき，还可以通过采用よう部ぶ份应用よう省略しょうりゃく列れつ表ひょう实际参さん数すう：

let sum =
  List.fold_left (+) 0

快速かいそく排はい序じょ

OCaml自身じしん可か提供ていきょう对递归算法的ほうてき简介表ひょう达。下した列代れつだい码例子こ实现了りょう类似于以升ます序じょ排はい序じょ一いち个列表ひょう的てきquicksort的てき一いち个算法ほう：

 let rec qsort = function
   | [] -> []
   | pivot :: rest ->
     let is_less x = x < pivot in
     let left, right = List.partition is_less rest in
     qsort left @ [pivot] @ qsort right;;

高こう阶函数すう

函数かんすう可か以接受せつじゅ函数かんすう作さく为参数すう并且返かえし回かい函数かんすう作さく为结果はて。例れい如，应用twice到いた函数かんすうf产生应用f到いた它的实际参さん数すう两次的てき一いち个函数すう：

let twice (f : 'a -> 'a) = fun (x : 'a) -> f (f x);;
let inc (x : int) : int = x + 1;;
let add2 = twice inc;;
let inc_str (x : string) : string = x ^ " " ^ x;;
let add_str = twice(inc_str);;

# add2 98;;
- : int = 100
# add_str "Test";;
- : string = "Test Test Test Test"

函数かんすうtwice使用しよう类型变量'a，来らい指示しじ它可以应用よう于映射い一いち个类型がた'a到いた自身じしん的てき任にん何なにf，而非只ただ应用于int->int函数かんすう。特とく别是，twice甚至可か以应用よう于自身じしん：

# let fourtimes f = (twice twice) f;;
val fourtimes : ('a -> 'a) -> 'a -> 'a = <fun>
# let add4 = fourtimes inc;;
val add4 : int -> int = <fun>
# add4 98;;
- : int = 102

邱奇数すう

下しも列代れつだい码定义自然しぜん数すう的てき邱奇编码，具有ぐゆう后きさき继（succ）和かず加法かほう（add）。邱奇数すうn是ぜ接受せつじゅ一いち个函数すうf和わ一いち个值x的てき一いち个高こう阶函数すう，它应用ようf到いたx精せい确的n次つぎ：

let zero f x = x
let succ n f x = f (n f x)
let one = succ zero
let two = succ (succ zero)
let add n1 n2 f x = n1 f (n2 f x)
let to_string n = n (fun k -> "S" ^ k) "0";;

为了将しょう一个邱奇数从函数值转换成一个字符串，这里把わ它传递给向こう其输入にゅう和かず常つね量りょう字じ符ふ串くし"0"前ぜん置おけ上じょう字じ符ふ串くし"S"的てき函数かんすうto_string：

# let _ = to_string (add (succ two) two);;
- : string = "SSSSS0"

对象例れい子こ

在ざいOCaml中ちゅう对象，通つう过它们的方法ほうほう的てき名字みょうじ和わ类型，按结构来确定类型。对象可か以直接ちょくせつ创建（立たて即そく对象），而不用よう通どおり过有名称めいしょう的てき类。例れい如：

# let x =
    object
      val mutable x = 5
      method get_x = x
      method set_x y = x <- y
    end;;
val x : < get_x : int; set_x : int -> unit > = <obj>

这里OCaml交互こうご式しき运行时间系けい统打印しるし出で这个对象的てき推论类型。它的类型< get_x : int; set_x : int -> unit >，只ただ由ゆかり它的方法ほうほう来き定てい义。换句话说，x的てき类型由よし方法ほうほう类型get_x : int和わset_x : int -> unit而非任にん何なん名字みょうじ来き定てい义。类只ただ充当じゅうとう建立こんりゅう对象的てき函数かんすう，例れい如上じょじょう例れい中ちゅう的てき对象可か以用类来定てい义，并接着用ちゃくようnew算さん符ふ来らい建立こんりゅう：

# class simple_cls =
    object (self)
      val mutable x = 5
      method get_x = x
      method set_x y = x <- y
    end;;
  let x = new simple_cls;;

要よう定てい义有相しょう同どう的てき方法ほうほう和わ方法ほうほう类型的てき另一个对象ぞう：

# let y =
    object
      method get_x = 2
      method set_x y = Printf.printf "%d\n" y
    end;;
val y : < get_x : int; set_x : int -> unit > = <obj>

OCaml将はた它们视为有ゆう相しょう同どう的てき类型。例れい如，等式とうしき算さん符ふ被ひ确定类型为只接受せつじゅ有ゆう相しょう同どう类型的てき两个值：

# x = y;;
- : bool = false

所有しょゆう尽つき管かん它们有ゆう不同ふどう的てき值，却必定ひつじょう是ぜ相しょう同どう类型的てき，否いや则连类型检查都と不ふ会かい做完。这展示てんじ了りょう类型等とう价是结构性せい的てき。可か以定义调用よう一いち个方法的ほうてき函数かんすう：

# let set_to_10 a = a#set_x 10;;
val set_to_10 : < set_x : int -> 'a; .. > -> 'a = <fun>

第だい一个实际参数的推论类型< set_x : int -> 'a; .. >是ぜ值得关注的てき。..意味いみ着ぎ第だい一いち个实际参数すう，可か以是有ゆう接受せつじゅ一いち个int作さく为实际参数すう的てきset_x方法ほうほう的てき任にん何なん对象。所以ゆえん它可以用在ざい对象x之これ上じょう：

# set_to_10 x;;
- : unit = ()

另一个对象可以碰巧有这个方法和方法类型；其他方法ほうほう是ぜ无关紧要的てき：

# let z =
    object
      method blahblah = 2.5
      method set_x y = Printf.printf "%d\n" y
    end;;
val z : < blahblah : float; set_x : int -> unit > = <obj>

set_to_10函数かんすう对它也有效ゆうこう：

# set_to_10 z;;
10
- : unit = ()

这展示てんじ了りょう对于事物じぶつ比ひ如方法ほう调用的てき兼けん容よう性せい是ぜ由よし结构来らい确定的てき。下面かめん为只有ゆう一いち个get_x方法ほうほう而没有ゆう其他方法ほうほう的てき对象定てい义一个类型同义词（synonym）：

# type simpler_obj = < get_x : int >;;
type simpler_obj = < get_x : int >

对象x不ふ是ぜ这个类型的てき；但ただし在ざい结构上じょうx是ぜ这个类型的てき一いち个子类型，因いん为x包含ほうがん它的方法ほうほう的てき一いち个超集しゅう。所以ゆえんx可か以强制きょうせい（coerce）成なり这个类型：

# (x :> simpler_obj);;
- : simpler_obj = <obj>
# (x :> simpler_obj)#get_x;;
- : int = 10

但ただし是ぜ对象z不ふ行くだり，因いん为它不ふ是ぜ一个结构子类型：

# (z :> simpler_obj);;
Error: Type < blahblah : float; set_x : int -> unit > is not a subtype of
         simpler_obj = < get_x : int > 
       The first object type has no method get_x

这展示てんじ了りょう拓つぶせ宽强制きょうせい的てき兼けん容よう性せい是ぜ结构性せい的てき。

任意にんい精度せいど阶乘函数かんすう

可か以从OCaml访问各かく种各样的库。比ひ如，OCaml有ゆう内ない建けん的てき任意にんい精度せいど算さん术。由よし于阶乘じょう函数かんすう增ぞう长得非常ひじょう迅速じんそく，会かい很快溢出机つくえ器き精度せいど的てき整数せいすう。因よし此阶乘じょう很适合あい选用任意にんい精度せいど算さん术。

在ざいOCaml中ちゅう，Num模かたぎ块（现在被ひZArith所ところ取と代だい）提供ていきょう了りょう任意にんい精度せいど算さん术，比ひ如在Ubuntu中安なかやす装そう它：sudo apt install libnum-ocaml-dev，它可以如下か这样装そう载到运行中ちゅう的てき顶层中ちゅう：

#use "topfind";;
#require "num";;
open Num;;

阶乘函数かんすう可か以使用しよう任意にんい精度せいど算さん符ふ=/、*/和わ-/写うつし为：

let rec fact n =
  if n =/ Int 0 then Int 1 else n */ fact(n -/ Int 1);;

这个函数かんすう可か以计算ざん非常ひじょう大だい的てき阶乘比ひ如120!：

# string_of_num (fact (Int 120));;
- : string =
"6689502913449127057588118054090372586752746333138029810295671352301633557244962989366874165271984981308157637893214090552534408589408121859898481114389650005964960521256960000000000000000000000000000"

绘制图形例れい子こ

下しも列れつ程ほど序じょsimple.ml使用しようOpenGL呈てい现一个缓慢旋转的2D三角形さんかっけい:

let () =
  ignore (Glut.init Sys.argv);
  Glut.initDisplayMode ~double_buffer:true ();
  ignore (Glut.createWindow ~title:"OpenGL Demo");
  let angle t = 10. *. t *. t in
  let render () =
    GlClear.clear [ `color ];
    GlMat.load_identity ();
    GlMat.rotate ~angle: (angle (Sys.time ())) ~z:1. ();
    GlDraw.begins `triangles;
    List.iter GlDraw.vertex2 [-1., -1.; 0., 1.; 1., -1.];
    GlDraw.ends ();
    Glut.swapBuffers () in
  GlMat.mode `modelview;
  Glut.displayFunc ~cb:render;
  Glut.idleFunc ~cb:(Some Glut.postRedisplay);
  Glut.mainLoop ()

需要じゅよう事ごと先安さきやす装そう负责绑定到いたOpenGL的てきLablGL，比ひ如在Ubuntu中安なかやす装そう它：sudo apt install liblablgl-ocaml-dev，这个程ほど序じょ可か以如下か这样编译成なり字じ节码：

$ ocamlc -I +lablGL lablglut.cma lablgl.cma simple.ml -o simple

或ある编译成本なりもと机つくえ代だい码：

$ ocamlopt -I +lablGL lablglut.cmxa lablgl.cmxa simple.ml -o simple

或ある者もの简单的てき使用しようocamlfind建造けんぞう命令めいれい：

$ ocamlfind opt simple.ml -package lablgl.glut -linkpkg -o simple

然しか后きさき运行：

$ ./simple

可か以使用しようOCaml开发非常ひじょう复杂、高性能こうせいのう的てき2D和わ3D图形程ほど序じょ。使用しようOpenGL和わOCaml，结果的てき程ほど序じょ可か以跨平台ひらだい编译而在主要しゅよう平台ひらだい上うえ无需改あらため动。

用ようOCaml写うつし成なり的てき程ほど序じょ

• Coq，一个形式证明辅助器。
• HOL Light，一个形式证明辅助器。
• Coccinelle，用よう于C程ほど序じょ源げん代だい码变换的てき实用工具こうぐ。
• Frama-C，分析ぶんせきC程ほど序じょ的てき一いち个框架か。
• Flow，Facebook创建的てき用よう于推论和检查JavaScript的てき静せい态类型がた的てき一いち个静せい态分析ぶんせき器き。
• Infer，Facebook创建的てき用よう于Java、C、C++和わObjective-C的てき静せい态分析ぶんせき器き，用もちい来らい检测iOS和わAndroid应用中ちゅう的てき缺陷けっかん。
• pyre-check，Facebook创建的てき用よう于Python的てき类型检查器き。
• Hack编程语言编译器き，Facebook创建，扩展PHP具有ぐゆう静せい态类型がた。
• Haxe编程语言编译器き。
• WebAssembly参考さんこう解かい释器，它是意い图在web浏览器き内うち执行的てき低てい层字じ节码。
• FFTW，C的てきFFT库，它的多数たすう性能せいのう关键代だい码是由よし用ようOCaml写うつし的てき一いち个程序じょ生成せいせい的てき。
• Owl科学かがく计算，用よう于科学かがく和わ工程こうてい计算的てき专用系けい统。
• MirageOS，用よう纯OCaml写うつし的てき一いち个单一いち内ない核かく编程框かまち架か。
• Ocsigen，一いち个OCaml的てきweb应用框かまち架か。
• Opa，用よう于Web开发的てき自由じゆう和わ开源的てき一いち个编程ほど语言。
• 0install，一个多平台包管理器。
• MLDonkey，一いち个多网络P2P程ほど序じょ。
• Unison，一个文件同步器。

参まいり见

• Caml，OCaml的てき先さき驱语言ごと。
• F#，由ゆかりMSR开发，是ぜ一いち个基于OCaml的てき一いち个以.NET为目标的编程语言。
• F*，由ゆかりMSR和わINRIA主しゅ导开发，是ぜ一いち个基于OCaml的てき依よ赖类型がた函数かんすう式しき程ほど序じょ语言。
• Reason，OCaml的てき语法扩展和わ工具こうぐ链，也可以转译成JavaScript。

有ゆう关书籍せき

• Yaron Minsky, Anil Madhavapeddy. Real World OCaml, Functional programming for the masses, 2nd Edition. 2021 [2021-09-10]. （原始げんし内容ないよう存そん档于2022-05-14）. 
• Emmanuel Chailloux, Pascal Manoury, Bruno Pagano. Developing Applications With Objective Caml (PDF). 2000 [2021-09-10]. （原始げんし内容ないよう (PDF)存そん档于2022-02-23）. 
• Jason Hickey. Introduction to the Objective Caml Programming Language. 2002 [2021-09-10]. （原始げんし内容ないよう存そん档于2021-09-10）. 

外部がいぶ链接

• 官かん方かた网站
• OCaml manual （页面存そん档备份，存そん于互联网档案あん馆）
• OCaml Package Manager （页面存そん档备份，存そん于互联网档案あん馆）
• Awesome OCaml （页面存そん档备份，存そん于互联网档案あん馆）