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

Alberto G. Corona agocorona at gmail.com
Tue Dec 22 12:10:06 EST 2009

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

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

More information about the Haskell-Cafe mailing list