4 ms·
That last thing you're looking for I believe is called dependent types.
by BoiledCabbage 6y ago
That last thing you're looking for I believe is called dependent types.
- Smaug123 6y agoDependent types are one way to achieve that effect, but I think what you're actually referring to is "refinement types".
- centimeter 6y agoSee LiquidHaskell for probably the most mature SMT-based refinement types implementation.