> If you push all your code into the type system, you're basically just writing your program in a clunkier, less readable language. It would be funny to see we

> If you push all your code into the type system, you're basically just writing your program in a clunkier, less readable language. It would be funny to see web servers running the typescript compiler (type checker) instead of a JS runtime, though.