[Haskell-cafe] Fundep Curiosity
Christopher Lane Hinson
lane at downstairspeople.org
Mon May 11 12:36:54 EDT 2009
I've noticed that a large majority of fundeps I see in other people's
libraries are written:
class C a b | b -> a
Where the dependent parameter appears first in the MPTC. Is there a
reason for this?
AFAIK, there isn't any semantic significance to the order of parameters in
an MPTC. Why do many haskellers find this configuration more intuitive?
Friendly,
--Lane
More information about the Haskell-Cafe
mailing list