Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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.



> It blends different orders of kinds

Orders, kinds, types, sorts, classes, groups, categories, genera, flavours, colors, shapes... same thing.


> Orders, kinds, types, sorts, classes, groups, categories, genera, flavours, colors, shapes... same thing.

Same thing, to first order.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: