No, Haskell wasn&#39;t designed with type level programming in mind.&nbsp; In fact it took a few years before any serious type level programming was done.&nbsp; And lo and behold, the type level has an untyped logic language.<br><br>
&nbsp; -- Lennart<br><br><div class="gmail_quote">On Fri, Mar 14, 2008 at 9:41 PM, Ben Franksen &lt;<a href="mailto:ben.franksen@online.de">ben.franksen@online.de</a>&gt; 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>
&gt; As Manuel says, in C++ type level programming was an accident, in<br>
&gt; 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>