Dependent types is an actively used design pattern. In computer science and logic, a dependent type is a type whose definition depends on a value.

?Years Old

Languages with Dependent types include epigram, idris, starpial

Last updated August 9th, 2020

Edit Dependent types on GitHub