SICSA DVF Assistant Professor Sam Tobin-Hochstadt “Typed Racket and Gradual Typing”

Date(s) - 24/01/2017
4:00 pm - 5:00 pm

University of Edinburgh Informatics Forum

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.

Sam Tobin-Hochstadt is an Assistant Professor in the School of Informatics and Computing at Indiana University. He has worked on dynamic languages, type systems, module systems, and metaprogramming, including creating the Typed Racket system and popularizing the phrase “scripts to programs”. He is a member of the ECMA TC39 working group responsible for standardizing JavaScript, where he co-designed the module system for ES6, the next version of JavaScript. He received his PhD in 2010 from Northeastern University under Matthias Felleisen.

The host of this SICSA DVF is Dr Patrick Maier, University of Glasgow

This entry was posted in .