11 Sep
2008
11 Sep
'08
4:34 p.m.
if support for this simple shape of dependencies ( ... | a -> b ) ...
For backwards-compatibility reasons,
Yes.
or because you think they're better than type families?
Don't know (haven't used them). Concrete example: I have this "class Partial p i b | p i -> b" http://dfa.imn.htwk-leipzig.de/cgi-bin/cvsweb/tool/src/Challenger/Partial.hs... What would type families buy me here? In my code, this class has tons of instances (I count 80). How much would I need to change them? Could this be automated? Thanks - J.W.