[Haskell-cafe] Are functional dependencies around to stay?

Eduard Sergeev Eduard.Sergeev at gmail.com
Tue Dec 22 10:18:17 EST 2009

Günther Schmidt wrote:
> I'm wondering if there is any chance that functional dependencies will 
> not be around in the future.

As was previously noted they are supposed to be replaced by type families,
but for me the crucial difference between these two now is that currently
type families do not allow overlapping instances "at all" while fundeps can
be used with overlapping instances in GHC with -XOverlappingInstances flag..
Not sure how this difference is going to be changed in the future, but I am
currently using fundeps because of it (I'd prefer type families otherwise).
View this message in context: http://old.nabble.com/Are-functional-dependencies-around-to-stay--tp26873777p26889879.html
Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.

More information about the Haskell-Cafe mailing list