That very episode sent me here right now.

Interesting the praise Typescript is getting.

Typescript is kind of similar to Clojure.spec and Malli in the sense that it provides a way to specify data shape à la carte!

The idea is that we shouldn’t be force to choose between 100% flexibility or 100% type safety.

Agreed. I find that Typescript uses that information quite effectively to provide editor-integrated assistance. It can almost feel like java, when writing something. to see what you can do with something.