Runtime type checking is great (2023)

Happily this is not just another static-vs-dynamic typing argument, but instead it’s about dynamic languages with add-on gradual type systems, and it advocates for using static type annotations as runtime type assertions. (I was several paragraphs in before I understood that “checking types at run-time” doesn’t refer to the interpreter’s type checks, but instead to checking the programmer’s annotations.)