BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Pluggable Type System with Optional Runtime Monitoring of Type Err
 ors - Jukka Lehtosalo (Computer Lab\, Cambridge)
DTSTART:20110114T151500Z
DTEND:20110114T161500Z
UID:TALK28587@talks.cam.ac.uk
CONTACT:Dominic Orchard
DESCRIPTION:Adding a static type system to a dynamically-typed language ca
 n be an invasive change that requires coordinated modification of existing
  programs\, virtual machines and development tools. Optional pluggable typ
 e systems do not affect runtime semantics of programs\, allowing them to b
 e safely added to a language without affecting existing code and tools\, a
 nd while supporting both dynamic and static typing. However\, in programs 
 mixing dynamic and static types\, they do not allow reporting runtime type
  errors precisely. We present _optional runtime monitoring of type errors_
  for tracking these errors without affecting program semantics. Our Python
 -like target language Alore has a nominal optional type system with _binda
 ble interfaces_ that can be bound to existing classes by clients to help t
 he safe evolution of programs and scripts to static typing.\n\nThis is wor
 k in progress. Practice talk for STOP 2011.
LOCATION:SS03\, Computer Laboratory
END:VEVENT
END:VCALENDAR