No, Haskell wasn't designed with type level programming in mind. In fact it took a few years before any serious type level programming was done. And lo and behold, the type level has an untyped logic language.<br><br>
-- Lennart<br><br><div class="gmail_quote">On Fri, Mar 14, 2008 at 9:41 PM, Ben Franksen <<a href="mailto:ben.franksen@online.de">ben.franksen@online.de</a>> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div class="Ih2E3d">Don Stewart wrote:<br>
> As Manuel says, in C++ type level programming was an accident, in<br>
> Haskell, it was by design.<br>
<br>
</div>Was it, really? I was laways under teh impression that Oleg-style type<br>
system tricks were not in the least anticipated back when Haskell acquired<br>
type classes...<br>
<br>
Cheers<br>
<font color="#888888">Ben<br>
</font><div><div></div><div class="Wj3C7c"><br>
_______________________________________________<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>