Séminaire Marelle : Lesser-known OCaml Features

On Tuesday 25/05/2010, at 11h, in room Byron Blanc.

Speaker: Thomas Hutchinson.

Title: Lesser-known OCaml Features.

In recent years the OCaml type system has been gaining new features. However, many of these additions have not been well advertised or documented. I will discuss the use of phantom types, polymorphic variants and private types. The upcoming 3.12 release of OCaml contains many new features as well. These include polymorphic recursion, first-class modules and named type parameters. I will discuss some of these forthcoming additions.