BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Practical Type Systems - Aaron Hutton\, Magdalene College
DTSTART:20171101T193000Z
DTEND:20171101T200000Z
UID:TALK94858@talks.cam.ac.uk
CONTACT:Matthew Ireland
DESCRIPTION:OCaml is a modern functional language which is used by a range
  of professional organisations\, from Facebook and Citrix to Bloomberg. It
  provides the ability to write fast\, functional code in a modular way\, t
 hrough its use of classes and modules. OCaml uses a static type system whi
 ch utilises type inference\, to ensure safety.  Type inference systems all
 ow the programmer to write few type annotations and let the compiler infer
  the types\; this improves readability and code comprehension\, which are 
 important features in any language\; while guaranteeing no run-time type e
 rrors.\n\nThis talk will give a brief introduction to the OCaml language\,
  with a focus on comparing OCaml to the similar functional language SML. T
 he talk will then discuss the type system which OCaml uses\, including its
  use of objects\, including OCaml’s version of structural polymorphism\,
  and polymorphic variants. After which I will present a simple implementat
 ion of the Hindley-Milner type inference algorithm applied to a small OCam
 l-like language. HM is a simple\, but fast\, algorithm which has been prov
 en correct.
LOCATION:Wolfson Hall\, Churchill College
END:VEVENT
END:VCALENDAR