Types as Accessibility

Building software is hard, we all know that, but what exactly is hard about it? What cognitive load does it put on us? Join me on a journey that started with the λ calculus and continues almost 10 decades later, inventing new ways to deal with complexity as we become more and more aware of our inherent cognitive limitations. We'll learn about the history of programming languages, why type systems exist, how all typed languages have a lot more in common than we think, and how now I see Types as a Developer Accessibility tool that helps me keep complexity at bay when I work with complicated domains, growing teams, large codebases, and perhaps the most underestimated of enemies we have when building software products: time to market.