[Haskell-cafe] Fundep Curiosity
lemming at henning-thielemann.de
Wed May 13 18:57:38 EDT 2009
Christopher Lane Hinson schrieb:
> 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?
It's consistent with good style parameter ordering of functions:
More information about the Haskell-Cafe