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.
Editor: Michael Hicks
- Sound Analysis: Can We Tell the Truth About Programs?
- “Program Verification”: Has it lost its punch?
- Scaling the Field: Collaboration is of the Essence
- A Checklist Manifesto for Empirical Evaluation: A Preemptive Strike Against a Replication Crisis in Computer Science
- From Programs to Deep Models – Part 1
abstract interpretation AI safety algorithm announcement architecture Artifact evaluation awards carbon footprint carbon offset climate change code completion compilers concurrency conferences dynamic analysis formal verification gradual typing hardware industrial adoption language design machine learning Measurements Methodology nanopass neural networks news open access optimization program analysis programming program proof program synthesis proof engineering publication process quantum computing research productivity scientific journals security service soundness static analysis systems testing theorem proving type systems