One issue that arose in a ticket recently is that many of the std lib functions are kind of designed assuming non-strict semantics. The typical if_then_else_ construct, for example, would always evaluate both branches in a strict compiler, wouldn't it? It seems unfortunate that changing compiler backend can affect runtime that way, but I guess if we really want to be explicit about laziness we should start using coinduction in more places?<br>
<br><div class="gmail_quote">On Mon, Dec 5, 2011 at 11:36 AM, Alan Jeffrey <span dir="ltr"><<a href="mailto:ajeffrey@bell-labs.com">ajeffrey@bell-labs.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="im">On 12/05/2011 03:57 AM, Andreas Abel wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Of course, on the long run, we may agree on a minimum set of primitives<br>
each compiler has to implement, that covers at least arithmetic.<br>
</blockquote>
<br></div>
JS is problematic for this, as there's no native bignum type, so we'd have to pick a bignum library to link against. I'm a bit loath to hard-wire such a library into the compiler, rather than allowing developers to choose which library to link against.<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Cheers,<br>
Andreas<span class="HOEnZb"><font color="#888888"><br>
</font></span></blockquote><span class="HOEnZb"><font color="#888888">
<br>
A.</font></span><div class="HOEnZb"><div class="h5"><br>
______________________________<u></u>_________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se" target="_blank">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" target="_blank">https://lists.chalmers.se/<u></u>mailman/listinfo/agda</a><br>
</div></div></blockquote></div><br>