Date(s) - 24/01/2017
4:00 pm - 5:00 pm
SICSA DVF Assistant Professor Sam Tobin-Hochstadt from Indiana University, Bloomington will be giving a talk on “Typed Racket and Gradual Typing” on Tuesday 24 January at the Informatics Forum, University of Edinburgh
The trend toward constructing large-scale applications in scripting languages has inspired recent research in gradual typing, which adds types incrementally to existing languages. This idea has also now been adopted in industry, with Typed Clojure, TypeScript, and Facebook’s Hack as recent example. Over the last decade, my collaborators and I have developed Typed Racket, the first practical gradual type system, to enable adding types to existing untyped Racket programs. Building Typed Racket has required work at every level of programming language research, from runtime systems and compilers, to type and contract system design, to IDE tool support, and even to new proof techniques. In this talk, I’ll survey this landscape of work, explain how the needs of Typed Racket has driven all of these areas, and discuss future challenges that remain to be tackled.
The host of this SICSA DVF is Dr Patrick Maier, University of Glasgow