Crafting Effective Type Systems

In this article I describe two simple principles for designing a type system in your application, the benefits they confer and some real-world examples of their use. If you've ever worked with TypeScript or Flow, you've probably found yourself in a position where it feels like you're fighting the type checker.