BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Uncertainty is hope: towards a unified foundation of gradual typin
 g - Joshua Dunfield\, Queen’s University\, Canada
DTSTART:20190417T130000Z
DTEND:20190417T140000Z
UID:TALK123301@talks.cam.ac.uk
CONTACT:Victor Gomes
DESCRIPTION:Classic gradual type systems support incremental migration bet
 ween\nstatic typing and dynamic typing. In the last few years\, gradual ty
 ping\nhas expanded to support incremental migration between ordinary\nstat
 ic typing and more precise typing disciplines.\nGradual sum types (POPL '1
 7) support migration between ordinary\nstatic typing and a form of refinem
 ent type.\n\nTo go beyond ``one-off'' gradual type systems\, we need to un
 ify the\nfoundations of gradual typing. The essence of gradual typing is\n
 uncertainty\; we propose to isolate uncertainty in a single binary\nconnec
 tive\, the diamond type\, which is a merger of intersection and\nunion typ
 es. We explore whether this new connective could provide a\nfoundation for
  gradual typing that encompasses several existing\ngradual typing features
 \, including the classic unknown type `?'\,\ngradual sums\, and gradual un
 ions.
LOCATION:FW26
END:VEVENT
END:VCALENDAR