14 Aug
2010
14 Aug
'10
5:31 p.m.
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