Select Page

PL Perspectives

Perspectives on computing and technology from and for those with an interest in programming languages.
Gradual Typing from Theory to Practice

Gradual Typing from Theory to Practice

From its beginning 15 years ago, gradual typing is now part of everyday development practice for massive code bases at companies from Facebook to Microsoft to Stripe to Dropbox, all of which have developed their own gradual type systems. In this post, we cover the goals of gradual typing, why it’s had such an impact already, and what remains to be accomplished.