4 ms·
Dependent types are slightly different — dependent types depend on values. Since Aphyr is working entirely in the type system, there are no values. Aphyr is ab
by tylerhou 7y ago
Dependent types are slightly different — dependent types depend on values. Since Aphyr is working entirely in the type system, there are no values.
Aphyr is abusing Haskell’s type deduction feature.
- Fellshard 7y agoTrue, 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.