Using Understanding And Unraveling The Ocaml Language

Table of Contents......Page 2
Introduction......Page 5
2.1 Discovering Core ML......Page 9
2.2 The Syntax of Core ML......Page 11
2.3 The Dynamic Semantics of Core ML......Page 12
2.3.1 Reduction semantics......Page 13
2.3.2 Properties of the reduction......Page 19
2.3.3 Big-step operational semantics......Page 22
2.4.1 Types and programs......Page 25
2.4.2 Type inference......Page 27
2.4.3 Unification for simple types......Page 30
2.4.4 Polymorfism......Page 34
2.5.1 Fix-point combinator......Page 37
2.5.2 Recursive types......Page 39
2.5.3 Type inference v.s. type checking......Page 40
Further Reading......Page 41
3.1.1 Examples in OCaml......Page 42
3.1.2 Formalization of superficial pattern matching......Page 43
3.1.3 Recursive datatype definitions......Page 44
3.1.4 Type abbreviations......Page 45
3.1.5 Record types......Page 46
3.2.1 Formalization of the store......Page 47
3.2.2 type soundness......Page 49
3.3 Exceptions......Page 50
Further Reading......Page 51
4.1.1 Basic examples......Page 53
4.1.2 Polymorphism, subtyping, and parametric classes......Page 56
4.2 Understanding Objects and Classes......Page 60
4.2.1 Type-checking objects......Page 62
4.2.2 Typing classes......Page 66
4.3 Advanced Uses of Objects......Page 70
Further Reading......Page 73
5.1.1 Basic modules......Page 75
5.3 Advanced Uses of Modules......Page 79
6.1 Overlapping......Page 83
6.2 Combining Modules and Classes......Page 84
6.2.1 Classes as module components......Page 85
6.2.2 Classes as pre-modules......Page 86
Further Reading......Page 90
Beyond ML......Page 91
First Steps in OCaml......Page 93
B.1 Variant Types......Page 98
B.2 Labeled Arguments......Page 100
B.3 Optional Arguments......Page 101
Answers to Exercises......Page 103
References......Page 118
List of All Exercises......Page 122
Index......Page 124