[underwater]

This does runtime checking. Flow and Typescript do static type checking. Which, as long as the systems are sound, means you don't need a runtime component.

[gsnedders]

TypeScript isn't sound, and does rely on runtime checking for a small amount of stuff. I don't know about Flow.