© 2020 Strange Loop
In this talk, I'll examine a few of these tradeoffs that apply across many languages: type refinement and refinement invalidation, array out-of-bound errors, and variance (particularly array covariance). We'll look at what tradeoffs a gradual type system needs to make, what the advantages are to different approaches, and compare how various gradual type systems and more traditional static type systems handle these tradeoffs.
Ben "Fuzzy" Weissmann is a software engineer at Tulip, where he was the first employee and leads architecture on the Platform team, creating a platform for manufacturers to build apps that streamline their operations. His focus is on architecture, backend systems, and developer tooling. In the past, he's worked at Twitter, TripAdvisor, and the MIT Media Lab.