<div dir="ltr">Hello Michael,<br><div class="gmail_extra"><br><div class="gmail_quote">2017-01-12 14:09 GMT+01:00 Michael Kay <span dir="ltr"><<a href="mailto:mike@saxonica.com" target="_blank">mike@saxonica.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Logged here as a bug:<br>
<br>
<a href="https://www.w3.org/Bugs/Public/show_bug.cgi?id=30045" rel="noreferrer" target="_blank">https://www.w3.org/Bugs/Public<wbr>/show_bug.cgi?id=30045</a></blockquote><div><br></div><div>Thanks, will do it next time.</div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">No, I think the subsequent points are far less important. The code used to specify the effect of the function is intended to be a specification, not an efficient implementation.<span class="m_6380847934673679210gmail-HOEnZb"><font color="#888888"><br>
</font></span></blockquote></div><br>Agreed, but that wasn't my point. You may have the opinion that it wasn't important, but I'm curious to know where anything tangible on laziness is mentioned. As you say, not having any won't be very efficient, so you may as well be explicit about it, right? I don't really understand why it's preferable to have a syntax without an implementation, and I simply pointed out that in the case of the fold-right example that becomes slightly odd...</div></div>