关于OCaml，最早称为Objec     ti   ve Caml，是Caml编程语言的主要实现，开发工具包含交互式顶层解释器，字节码编译器以及最优本地代码编译器。Ocaml有一个巨大标准库，使得可以像     Python   或者Perl语言一样可以方便地开发各种应用程序。

对于程序员来说，OCaml由编程语言社区努力推广，并提供有目标的支持，自动内存管理和设备的便携性。目前可从苹果的App Store获下载OCaml应用程序。通过OCaml语言的应用特性，可以建立一个教代数的网站。

 ocaml 简单例子（     Linux      ）

 ocaml 注释

单行注释：

多行注释：

OCaml中可以使用嵌套（ … *）块， 因此我们可以很容易地注释掉某一块程序。

 调用函数

在ocaml中，用括号括起参数和用逗号分隔参数是错误的。

一般情况下，括号只括起整个函数调用，不要括起函数调用的参数。

 函数定义

 ocaml函数的一些特性：

OCaml是强静态类型的语言。（也就是说没有如perl中的动态类型）。

OCaml用类型推导（type inference）来找出类型，所以大家无需注明类型。如果你用上述OCaml的toplevel，那么OCaml会显示出它认为的函数类型。

OCaml不做任何的隐式转换。如果你需要浮点数，你必须写2.0，因为2是一个整数。OCaml从不执行任何自动类型转换。

由于type inference的副作用，OCaml不允许任何形式的重载（包括操作符重载）。它用不同的运算符来表示“两个整数相加”（用+）和“两个浮点数相加”（用+.）。注意后者有一个点号。其他算术运算符（ -。， *.，/。 ）也是这样。

OCaml返回函数的最后的表达式值，因此我们没有必要如C中一样写return。

 基本类型

int char float bool string unit（void的返回类型）