Personally I just don’t block the result of my hot dev server on the type checking. I follow along with types in my IDE, and in a separate command. Basically

Personally I just don’t block the result of my hot dev server on the type checking. I follow along with types in my IDE, and in a separate command. Basically Babel for transpilation (which strips all types, correct or not), and type checking in a separate process.