Dependent types are a 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, Jule, Epigram, starpial
int uint uintptr