Software Unscripted

Gradual vs Static Typing with José Valim

Sep 21, 2023
Guest
José Valim
Richard talks with José Valim, creator of Elixir, about gradual vs static typing. They discuss dynamic typing in TypeScript, expressiveness and correctness in API design, resurgence of static typing, notebooks in data science, and the tug of war between gradual and static typing.
Ask episode
Chapters
Transcript
Episode notes
1
Introduction
00:00 • 4min
2
Dynamic Typing in TypeScript
03:40 • 18min
3
Expressiveness and Correctness in API Design and Programming Languages
21:49 • 14min
4
Resurgence of Static Typing in Programming Languages
35:26 • 4min
5
Notebooks, Data Frames, and the Balance Between Expressiveness and Correctness
39:14 • 8min
6
The Tug of War Between Gradual Typing and Static Typing
46:45 • 9min
7
Changing the Spec to Accommodate Types
55:17 • 30min