Dependent types is an actively used design pattern.

?Years Old
  • Dependent types ranks in the top 50% of entities I track
  • the Dependent types wikipedia page
  • I have 11 facts about Dependent types. what would you like to know? email me and let me know how I can help.

Languages with Dependent types include epigram, idris, starpial

Last updated September 6th, 2019