Personal tools
You are here: Home Events LFCS seminar: Sam Tobin-Hochstadt: Typed Racket and gradual typing

LFCS seminar: Sam Tobin-Hochstadt: Typed Racket and gradual typing

— filed under: ,

What
  • LFCS Seminar
  • Upcoming events
When Jan 24, 2017
from 04:00 PM to 05:00 PM
Where IF 4.31/4.33
Add event to calendar vCal
iCal

Abstract:

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.

Biography:

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

 

Document Actions