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.
Stephen Tetley-2 wrote:
> 2009/12/22 Eduard Sergeev <[email protected]>:
>> As was previously noted they are supposed to be replaced by type
> Hi Eduard
> Currently this seems a more like a rumour than a fact - from  Type
> Families and Fun Deps are equivalently expressive which seems a
> worthwhile point to restate. From  the Haskell prime committee want
> one or the other but not both, and will resolve matters sometime in
> the future.
> Best wishes
>  http://www.haskell.org/pipermail/haskell-prime/2008-April/002434.html
> Haskell-Cafe mailing list
> [email protected]
View this message in context:
Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.
Haskell-Cafe mailing list