Dependent types

Dependent types are a language feature.

In computer science and logic, a dependent type is a type whose definition depends on a value.

• the Dependent types Wikipedia page
• Have a question about Dependent types not answered here? Open an issue explaining what you need.
• Edit this page

Languages without Dependent types include Ruby

Languages with Dependent types include Idris, Epigram, starpial

Article source