Dependent type

Dependent types are a special kind of type in programming that depend on a value. This means that the type of the value changes depending on what the value is! For example, if you have a variable called "age", the type of age would be an integer (a whole number). But if the value of age is 1, then the type of age would be "child" instead of an integer.