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.tet...@gmail.com> > 2009/12/22 Eduard Sergeev <eduard.serg...@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@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe >
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
