I think what you're describing is basically dependent types [0], where types can depend on values. [0]: https://en.wikipedia.org/wiki/Dependent_type https://en

I think what you're describing is basically dependent types [0], where types can depend on values. [0]: https://en.wikipedia.org/wiki/Dependent_type https://en.wikipedia.org/wiki/Dependent_type