Hacker News new | ask | show | jobs
by telekid 2289 days ago
I believe you're looking for dependent types: https://en.wikipedia.org/wiki/Dependent_type