The referenced writings are a bit old. I wonder, what are the current plans and decisions (or at least dominating opinions) on FD and TF. And when the equality constraint will be ready.
Andrey Stephen Tetley-2 wrote: > > 2009/12/22 Eduard Sergeev <eduard.serg...@gmail.com>: > >> 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 > > Stephen > > [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 > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe > > -- View this message in context: http://old.nabble.com/Are-functional-dependencies-around-to-stay--tp26873777p26895997.html Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
