[gsnedders]

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