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.
- the Dependent types wikipedia page
- Have a question about Dependent types not answered here? Email me and let me know how I can help.
Last updated January 28th, 2020