Static Typing - Graph View A way of checking the types of values in a program before it runs, so a whole class of errors gets caught by the compiler or type checker instead of by your users. View concept details Related ConceptsTypeScript Make Illegal States Unrepresentable Parse, Don't Validate Newtype Pattern Option Type Algebraic Data Types Null References Static Analysis Primitive Obsession Smart Constructor Correct by Construction Total Functions Refactoring JavaScript Python Liskov Substitution Principle ← Back to full graph