Dependent types are a language feature.
In computer science and logic, a dependent type is a type whose definition depends on a value.
Languages without Dependent types include Ruby
Languages with Dependent types include Idris, Epigram, starpial
Article source