MPTCs and functional dependencies
ashley at semantic.org
Thu Feb 2 21:45:03 EST 2006
Ravi Nanavati wrote:
>> > Multi-parameter type classes, yes. Functional dependencies, no.
>> My experience is that even with very simple applications of MPTCs,
>> I often end up needing functional dependencies to make things work.
> As a user, I'll echo this.
Me three, etc.
Might it be worth holding off on MPTCs altogether if we don't also have
fundeps or associated types?
More information about the Haskell-prime