[email protected]
[Top] [All Lists]

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

Subject: Re: [Haskell-cafe] Are functional dependencies around to stay?
From: Stephen Tetley
Date: Tue, 22 Dec 2009 16:35:10 +0000
2009/12/22 Eduard Sergeev <[email protected]>:

> As was previously noted they are supposed to be replaced by type families,

Hi Eduard

Currently this seems a more like a rumour than a fact - from [1] Type
Families and Fun Deps are equivalently expressive which seems a
worthwhile point to restate. From [2] the Haskell prime committee want
one or the other but not both, and will resolve matters sometime in
the future.

Best wishes


[1] http://www.haskell.org/pipermail/haskell-cafe/2009-February/055890.html
[2] http://www.haskell.org/pipermail/haskell-prime/2008-April/002434.html
Haskell-Cafe mailing list
[email protected]

<Prev in Thread] Current Thread [Next in Thread>