<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">On Sun, Apr 28, 2013 at 10:55 AM, gs <span dir="ltr"><<a href="mailto:voldermort@hotmail.com" target="_blank">voldermort@hotmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div class="im">Alexander Solla <alex.solla <at> <a href="http://gmail.com" target="_blank">gmail.com</a>> writes:<br>
<br>
> I do not support that criterion. We use theory to ENSURE that no<br>
real-world code will break.<br>
<br>
</div>By theoretical example, I meant something which you would never expect to<br>
find in use. Perhaps it was a poor choice of wording in an academically<br>
orientated forum :-)</blockquote><div><br></div><div style>I understood that much.</div><div style><br></div><div style>The problem is there is no good way to know what code we should "expect". Real world code might be "unexpected". Your criterion amounts to hoping no real world code breaks.</div>
</div></div></div>