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

[Alberto G. Corona]

Semi Off Topic:
If the ultimate nature of reality is mathematical, as many physicist say,
then everything is mathematical. Then the  question must be rephrased to ¿is
this or that isomorphic with a mathematical structure powerful enough
(general enough, simple enough, but not more) or is out there another better
structure?.

How much of mathematical discovery, rather than engineering,  are in
programming languages design ?
Merry christmas!

2009/12/22 Stephen Tetley <stephen.tetley at gmail.com>

> 2009/12/22 Eduard Sergeev <Eduard.Sergeev at 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 at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20091222/008a21ee/attachment.html