4 ms·
'typing' is one of my all-time favorites. It's pure magic watching him pop what I suspect are dependent types out of Haskell's type system, and that prose is ju
by Fellshard 7y ago
'typing' is one of my all-time favorites. It's pure magic watching him pop what I suspect are dependent types out of Haskell's type system, and that prose is just laugh-out-loud magic.
- tylerhou 7y agoDependent 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.