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

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

2009/12/22 Eduard Sergeev :

...

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