Why Static Typing Came Back

Explore the resurgence of static typing in programming languages in this 52-minute conference talk by Richard Feldman at GOTO Copenhagen 2022. Delve into the historical context of dynamic languages like Python, Ruby, PHP, and JavaScript, and examine the factors that led to the widespread adoption of static type-checkers. Analyze the shift in popularity towards statically typed languages such as TypeScript, Go, Kotlin, Swift, Dart, and Rust. Investigate the reasons behind this comeback, discussing the advantages and disadvantages of both static and dynamic typing. Consider the role of gradual typing and its potential as a future trend. Gain insights into the evolution of programming language design and make informed predictions about the future of typing systems in software development.