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.