Type Enforcement


Type enforcement can be static, catching potential errors at compile time, or dynamic, associating type information with values at run-time and consulting them as needed to detect imminent errors, or a combination of both
### Typings
|Title|
|:-:|
|[Inferred Typing](https://texonom.com/inferred-typing-eaa3e6d96ac6467693afdf92156ff665)|
|[Manifest Typing](https://texonom.com/manifest-typing-44bb9a74315d4ed9884b5c7b6d33f7a7)|
|[Dependent type](https://texonom.com/dependent-type-0d59b04b299a459f9dbe7fbe1c312094)|










