On: Are Tests Necessary in TypeScript?

[eyelidlessness]

I think the idea isn't that you don't thoroughly test, but that types are sufficient tests of certain functionality, and they're significantly more expressive and efficient than their runtime equivalents.