[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: Andrey Sisoyev
Date: Tue, 22 Dec 2009 15:43:00 -0800 PST
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 <[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
> 
> 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
> [email protected]
> 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
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe

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