Dependent types is an actively used design pattern.
- 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.
Last updated November 16th, 2019