<div class="gmail_quote">On Sat, Mar 14, 2009 at 2:36 AM, Henning Thielemann <span dir="ltr">&lt;<a href="mailto:lemming@henning-thielemann.de">lemming@henning-thielemann.de</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="im"> a lot. However, isn&#39;t this halfheartedly since we all wait for full dependent types? :-)<br></div><div><div></div><div class="h5"></div></div></blockquote><div><br></div><div>Well, in C++ one can already use the numerical values with templates for achieving a lot of compile time computations.</div>
<div><br></div><div>So I would be very happy to have this feature in Haskell. It might also be good research towards full dependent types no?</div><div><br></div></div>