Tuesday Oct 4
15:00 –
15:50
Cinema 2 (First floor)

Why Static Typing Came Back

Slides:


This video is also available in the GOTO Play video app! Download it to enjoy offline access to our conference videos while on the move.

Available in Google Play Store or Available in Apple App Store




The 1990s birthed Python, Ruby, PHP, and JavaScript - dynamic programming languages that went on to be extremely popular. Today, each has a widely used static type-checker: mypy, Sorbet, Hack, and TypeScript. By RedMonk rankings, the most popular languages released in the past 15 years have been TypeScript, Go, Kotlin, Swift, Dart, and Rust - all statically typed.

If a generation of popular dynamically typed languages grew out of dissatisfaction with 1990s-era statically typed languages, what changed? Is it a matter of fashion, and the pendulum will soon swing back to favoring dynamic again? Is gradual typing the future, because it promises the best of both worlds? If so, then why aren't Go, Kotlin, Swift, or Rust gradually typed? (Dart was originally, and later changed to static!)

Why has static typing made such a comeback in the past decade? And what does it mean for the future? This talk dives into all of these questions, and more!

programming
Elm
Rust
Static Typing