wshager at gmail.com
Thu Jan 12 07:17:39 PST 2017
2017-01-12 14:09 GMT+01:00 Michael Kay <mike at saxonica.com>:
> Logged here as a bug:
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...
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the talk