Hello Michael, 2017-01-12 14:09 GMT+01:00 Michael Kay <[email protected]>:
> Logged here as a bug: > > https://www.w3.org/Bugs/Public/show_bug.cgi?id=30045 Thanks, will do it next time. 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. > 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...
_______________________________________________ [email protected] http://x-query.com/mailman/listinfo/talk
