关于OCaml，最早称为Objective 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的返回类型）
技术专区
- 浅谈Python语言
- 你想知道的Ocaml语言
- 来了解一下Groovy语言
- GO语言：简单 动态
- 关于Erlang语言的功能及特性
