sheldon0921的专栏

文章内容翻译自 manual-ocaml-4.02点击打开链接, 和 Ocaml Tutorials其中加入了个人的理解 Modules 基本用法: 在Ocaml中，代码都是被包装在一个个的module中的，一个module本身也可以是另一个module的子module，非常类似于文件系统中的目录结构，但这样的用法很少. 当你写了一个程序，此程序使用了两个文件(amodu

个人理解： Signature 也可以叫做 interface , 我们可以这样理解， Signature是抽象的，是module的类型， 对module进行了约束，约束了该module的用户能在外部使用该module的哪些内容，因为一个module中不需要把所有东西都对外公开了，比如有些辅助性的函数我们就可以对外隐藏。 module 是对一个 interface(signature)的具体的

Ocaml 也具有面向对象编程的范式，OCaml混合了三种范式： 函数式，面向对象，指令式，使得程序员可以在面对问题是选择最合适的方法来解决。 Class 先来看一个OCaml中class的例子，该例子是声明了一个栈类型，使用链表来实现 # class stack_of_ints = object (self) val mutable the_list