I believe you're looking for dependent types: https://en.wikipedia.org/wiki/Depe... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

telekid on March 12, 2020 | parent | context | favorite | on: I Don't Use Classes

I believe you're looking for dependent types: https://en.wikipedia.org/wiki/Dependent_type

Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact