Dependent type


### Dependent types enable larger set of [logic errors](https://en.wikipedia.org/wiki/Logic_error) to be eliminated at ***compile time***
**definition depends on a value**



> [What is dependent typing?](https://stackoverflow.com/questions/9338709/what-is-dependent-typing)

> [Dependent type - Wikipedia](https://en.wikipedia.org/wiki/Dependent_type)





