你想知道的Ocaml语言.doc

你想知道的Ocaml语言关于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的返回类型）