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?.

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

2009/12/22 Eduard Sergeev <Eduard.Sergeev@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