I generally verify types only at the boundaries of my application (or very critical modules) using norm[1]. Either you have a strict type system that does not

I generally verify types only at the boundaries of my application (or very critical modules) using norm[1]. Either you have a strict type system that does not have an "any" type (yes, I'm looking at you Typescript), or you have a flexible type system like Python/Erlang/Elixir and you do runtime type checking whenever it's needed. I'm writing more Typescript code than I would in Javascript for almost no type safety benefits (but for documentation, it's awesome). [1] - https://github.com/keathley/norm https://github.com/keathley/norm