2 ms·
Can Haskell enforce a type of “any integer other than zero”? I feel like you would just end up with the equivalent of Maybe, but not sure.
by jimbokun 3y ago
Can Haskell enforce a type of “any integer other than zero”?
I feel like you would just end up with the equivalent of Maybe, but not sure.
- Iceland_jack 3y agoWith https://ucsd-progsys.github.io/liquidhaskell/ https://ucsd-progsys.github.io/liquidhaskell/, but as a separate checker. I think there are talks of integrating it into the compiler