[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