Get Typed
Types create guarantees. They describe properties of a program that can be verified without running it.
Types can be used for…
Catching head-desk mistakes
- Catch simple mistakes
- Refine existing types
- Tame the null pointer
- Safely manipulate escaped strings
Static checks and guarantees
- Configuration
- Dependency injection
- User permissions
- Resource access restrictions
- Resource lifetime scope
More
- Statically restricted effects
- Safe deep immutable updates
- Statically calculated partial record fetch