• Embed Doc
  • Copy Link
  • Readcast
  • Collections
  • CommentGo Back
Download
 
The Objective Caml systemrelease 3.11
Documentation and user’s manual
Xavier Leroy(with Damien Doligez, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon)November 26, 2008
Copyrightc
2008 Institut National de Recherche en Informatique et en Automatique
 
2
 
Contents
I An introduction to Objective Caml9
1 The core language11
1.1 Basics. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111.2 Data types. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121.3 Functions as values. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131.4 Records and variants. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 141.5 Imperative features. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 161.6 Exceptions. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 181.7 Symbolic processing of expressions. . . . . . . . . . . . . . . . . . . . . . . . . . . 191.8 Pretty-printing and parsing. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 201.9 Standalone Caml programs. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2 The module system25
2.1 Structures. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 252.2 Signatures. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 262.3 Functors. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 272.4 Functors and type abstraction. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 292.5 Modules and separate compilation. . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
3 Objects in Caml33
3.1 Classes and objects. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 333.2 Immediate objects. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 363.3 Reference to self . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 373.4 Initializers. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 383.5 Virtual methods. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 383.6 Private methods. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 403.7 Class interfaces. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 423.8 Inheritance. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 433.9 Multiple inheritance. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 443.10 Parameterized classes. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 443.11 Polymorphic methods. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 473.12 Using coercions. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 503.13 Functional objects. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 543.14 Cloning objects. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 553.15 Recursive classes. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 581
of 00

Leave a Comment

You must be to leave a comment.
Submit
Characters: ...
You must be to leave a comment.
Submit
Characters: ...