Using, Understanding, and Unraveling The OCaml Language

Using, Understanding, and Unraveling The OCaml Language

These course notes provide a formal description of the operational semantics (evaluation) and statics semantics (type checking) of core ML and of several extensions, including its object-oriented layer.

Publication date: 31 Dec 2001

ISBN-10: n/a

ISBN-13: n/a

Paperback: n/a

Views: 8,260

Type: N/A

Publisher: n/a

License: n/a

Post time: 11 Apr 2008 10:43:03

Using, Understanding, and Unraveling The OCaml Language

Using, Understanding, and Unraveling The OCaml Language These course notes provide a formal description of the operational semantics (evaluation) and statics semantics (type checking) of core ML and of several extensions, including its object-oriented layer.
Tag(s): Functional Programming
Publication date: 31 Dec 2001
ISBN-10: n/a
ISBN-13: n/a
Paperback: n/a
Views: 8,260
Document Type: N/A
Publisher: n/a
License: n/a
Post time: 11 Apr 2008 10:43:03
Excerpts from the Abstract:

These course notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whether they are programmers or language designers, beginners or knowledgeable readers --little prerequiresite is actually assumed.

They provide a formal description of the operational semantics (evaluation) and statics semantics (type checking) of core ML and of several extensions starting from small variations on the core language to end up with the OCaml language --one of the most popular incarnation of ML-- including its object-oriented layer.

The tight connection between theory and practice is a constant goal: formal definitions are often accompanied by OCaml programs: an interpreter for the operational semantics and an algorithm for type reconstruction are included. Conversely, some practical programming situations taken from modular or object-oriented programming patterns are considered, compared with one another, and explained in terms of typechecking problems.

Many exercises with different level of difficulties are proposed all along the way, so that the reader can continuously checks his understanding and trains his skills manipulating the new concepts; soon, he will feel invited to select more advanced exercises and pursue the exploration deeper so as to reach a stage where he can be left on his own.
 




About The Author(s)


No information is available for this author.

Didier Remy

No information is available for this author.


Book Categories
Sponsors
Icons8, a free icon pack