3 ms·
Sure. If you're Haskell, you call them kinds. In Idris, they're just types.
by mrkeen 2y ago
Sure. If you're Haskell, you call them kinds. In Idris, they're just types.
- carapace 2y agoYes but that misses the point. The pragmatic (not to say economic) motivation for type systems in the first place is to eliminate bugs in software. If you make them more complicated it makes it harder (more expensive, cost is always brought up as a barrier to correctness) to use them.