UW PLSE

Daniel Rosenwasser

visitor-photo

Rethinking Type Systems with JavaScript

May 28, 2019 at 12:00pm
CSE 305

Abstract

Conventional wisdom says building a type system goes hand in hand with building a language. What happens when you go against convention? Well, for a language with millions of users like JavaScript, it turns out that your type system has to be pretty expressive! We’ll explore what sorts of constraints TypeScript operates in, the trade-offs made, how we arrived where we are today, and where the current challenges are.

Bio

Daniel Rosenwasser is the Program Manager of the TypeScript language at Microsoft. He has a strong had an interest in programming languages, type systems, and language services.

Talk