<div>Semi Off Topic:</div>
<div>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?. </div>
<div> </div>
<div>How much of mathematical discovery, rather than engineering, are in programming languages design ?<br></div>
<div>Merry christmas!</div>
<div> </div>
<div class="gmail_quote">2009/12/22 Stephen Tetley <span dir="ltr"><<a href="mailto:stephen.tetley@gmail.com">stephen.tetley@gmail.com</a>></span><br>
<blockquote style="BORDER-LEFT: #ccc 1px solid; MARGIN: 0px 0px 0px 0.8ex; PADDING-LEFT: 1ex" class="gmail_quote">2009/12/22 Eduard Sergeev <<a href="mailto:Eduard.Sergeev@gmail.com">Eduard.Sergeev@gmail.com</a>>:<br>
<div class="im"><br>> As was previously noted they are supposed to be replaced by type families,<br><br></div>Hi Eduard<br><br>Currently this seems a more like a rumour than a fact - from [1] Type<br>Families and Fun Deps are equivalently expressive which seems a<br>
worthwhile point to restate. From [2] the Haskell prime committee want<br>one or the other but not both, and will resolve matters sometime in<br>the future.<br><br>Best wishes<br><br>Stephen<br><br>[1] <a href="http://www.haskell.org/pipermail/haskell-cafe/2009-February/055890.html" target="_blank">http://www.haskell.org/pipermail/haskell-cafe/2009-February/055890.html</a><br>
[2] <a href="http://www.haskell.org/pipermail/haskell-prime/2008-April/002434.html" target="_blank">http://www.haskell.org/pipermail/haskell-prime/2008-April/002434.html</a><br>
<div>
<div></div>
<div class="h5">_______________________________________________<br>Haskell-Cafe mailing list<br><a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br><a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</div></div></blockquote></div><br>