<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Feb 28, 2014 at 11:36 PM, Kostis Sagonas <span dir="ltr"><<a href="mailto:kostis@cs.ntua.gr" target="_blank">kostis@cs.ntua.gr</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">For example, the first two programs I would not expect any sensible programmer to write, and IMO these Erlang programs should be burned in hell.</blockquote>

</div><br>I don't think I agree. The purpose of a compiler is to produce correct code. If I can provoke the compiler to generate internal errors, it is often a latent problem with the compiler itself. At least disallowing the programs would be a start because it would encode what invariants (static semantics) I expect of well-formed programs.<br>

<br clear="all"><div><br></div>-- <br>J.
</div></div>