but now empty mentions Ord; anti-modular
This Tweet is unavailable. Learn more
Conversation
I now I've come across this in the discourse on type class constraints, but I can't for the life of me remember what to search for to brush up. You'll have to elaborate to explain why this is such a problem.
1
If you haven't watched 's "Type classes vs the world" talk, you should youtu.be/hIZxTQP1ifo. Like , I'm hopeful that a better modular alternative to Haskell-style coherent type classes will be found. I think I'll watch Ed's talk again.
1
1
Yup, seen that one before. I believe he just goes though why it's hard to build an efficient set implementation, but doesn't elaborate on alternatives. Like using module functors or parametrising the type by the dictionary. Will have to watch again.
The set thing is just the motivating example (it's to do with a union operation IIRC). The main point is that it's not possible to do that without coherent type classes! The conclusion is that everything else is inferior :)
1
But it _is_ possible – if you are willing to use module functors, or tag your data structure at the type level with ord instance used.
1
1
Show replies