On Aug 14, 2010, at 9:01 AM, Antoine Latter wrote:
What's wrong with fun-deps? The associated type synonym syntax is
prettier, but I didn't tknow that fun-deps were evil.
Do you have any links?
They're not "evil", they are "tricky" and can lead to non-termination,
inconsistency, etc.
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.118.6217&rep=rep1&type=pdf
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
