2022 November
The type system is a programmer's best friend
https://dusted.codes/the-type-system-is-a-programmers-best-friend