4 ms·
Dependent types are one way to achieve that effect, but I think what you're actually referring to is "refinement types".
by Smaug123 6y ago
Dependent 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.