Type Driven Thoughts 🦀

Why Static Typing Came Back

TL;DR

- Static Typing was a pain to use in 1990s and you still got type errors at runtime

- At that time the Web came to the scene and with it the need to ship and iterate faster

- The Internet speed was a lot slower back then, and so the obvious lack of runtime speed of dynamic languages didn't matter

- But everything changed in 2010s. The compilers and type checkers became a lot faster and friendlier. The statically typed languages became less verbose and "ceremonial".

- And now we are in an age of statically typed languages with even more of them in active development.

YouTube

Why Static Typing Came Back • Richard Feldman • GOTO 2022

This presentation was recorded at GOTO Copenhagen 2022. #GOTOcon #GOTOcph
https://gotocph.com

Richard Feldman - Functional Programming Language Expert & Author of “Elm in Action” @rtfeldman

RESOURCES
https://www.roc-lang.org
https://twitter.com/sw_unscripted…

www.tgoop.com/type_driven_thoughts/179

655 viewsedited  Sep 23, 2023 at 13:30

Why Static Typing Came Back

TL;DR

- Static Typing was a pain to use in 1990s and you still got type errors at runtime

- At that time the Web came to the scene and with it the need to ship and iterate faster

- The Internet speed was a lot slower back then, and so the obvious lack of runtime speed of dynamic languages didn't matter

- But everything changed in 2010s. The compilers and type checkers became a lot faster and friendlier. The statically typed languages became less verbose and "ceremonial".

- And now we are in an age of statically typed languages with even more of them in active development.

BY Type Driven Thoughts 🦀