4 ms·
True, now it's coming back to me. It blends different orders of kinds (I'm still probably butchering it). The abuse makes sense in terms of the type system beh
by Fellshard 7y ago
True, now it's coming back to me. It blends different orders of kinds (I'm still probably butchering it).
The abuse makes sense in terms of the type system behaving as a logic / goal-seeking engine. It does showcase the truly impressive work going in behind the scenes of Haskell.
- hcs 7y ago> It blends different orders of kinds Orders, kinds, types, sorts, classes, groups, categories, genera, flavours, colors, shapes... same thing.
- mijoharas 7y ago> Orders, kinds, types, sorts, classes, groups, categories, genera, flavours, colors, shapes... same thing. Same thing, to first order.