Caml

Caml（英语：Categorical Abstract Machine Language：范畴抽象机语言），是一种函数式、指令式的程式语言。最早由法国的INRIA和ENS联合的Formel项目发展出来，是ML语言的两种方言之一，现在主要由INRIA负责维护与发展。Caml是一种语言规范；它早期有过几个实现，目前除了仍然活跃的OCaml，发布于2002年的Caml Light是Caml的另一个实现。

Caml

编程范型	多范型: 函数式, 指令式
语言家族	ML
设计者	Gérard Huet（英语：Gérard Huet）, Guy Cousineau, Ascánder Suárez, Pierre Weis, Michel Mauny (Heavy Caml), Xavier Leroy（英语：Xavier Leroy） (Caml Light)
发行时间	1985年
当前版本	4.07（2018年7月；稳定版本）[1]
型态系统	类型推论, 静态, 强类型
操作系统	跨平台
网站	caml.inria.fr
受影响于
ML
影响语言
OCaml

历史

在1981年，INRIA的Gérard Huet（英语：Gérard Huet），将最初的LCF（英语：Logic for Computable Functions） ML适配到Multics系统的Maclisp下，并且增加了编译器^[2]。这个实现被描述于INRIA内部文档“ML手册”之中^[3]，它被开发者自称为“Le_ML”^[4]。剑桥大学的Lawrence Paulson（英语：Lawrence Paulson）用它开发了Cambridge LCF，而剑桥大学的Michael J. C. Gordon（英语：Michael J. C. Gordon）用它开发了第一版的HOL（英语：HOL (proof assistant)）^[5]。这个ML系统由INRIA和剑桥大学联合维护和发行^[3]。

基于Thierry Coquand（英语：Thierry Coquand）在1985年的关于构造演算的论文^[6]，INRIA的Formel项目开始致力于参与Coq的开发。在1987年，INRIA的Ascánder Suárez，基于巴黎第七大学的Guy Cousineau（法语：Guy Cousineau）的“范畴抽象机器（英语：Categorical abstract machine）”（CAM）^[7]，利用Le Lisp的运行时间系统重新实现了Le_ML，并正式命名为“Caml”^[2]。

在1990年和1991年，INRIA的Xavier Leroy（英语：Xavier Leroy）基于用C实现的字节码解释器^[8]，利用Damien Doligez（英语：Damien Doligez）提供的内存管理系统重新实现了Caml，并称其为“Caml Light”^[9]。在1995年，Xavier Leroy又增加了本机代码编译器和高层模块系统^[10]，这个版本也称为“Caml Special Light”。在1996年，INRIA的Didier Rémy和Jérôme Vouillon，向Caml Special Light增加了面向对象特征^[11]，从而创建了OCaml^[12]。

范例

Hello World

下面的程序hello.ml:

print_endline "Hello World!"

阶乘函数

很多数学函数，比如阶乘，可以很自然的表示为纯粹的函数形式：

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