[m-dev.] Inductive goals

[Michael Richter]

On 23 January 2014 10:20, Peter Schachte <pschachte at gmail.com> wrote:

>     $X from $Start to $End by $Func
>
> which is equivalent to {$X,Func($X)} folds {$Start,$End}
>

It's also equivalent to FOR X = 1 TO 100 STEP 3, just a bit more general.
 I thought I'd left that behind me in the '70s.  It appears Dijkstra may
have been right.

-- 
"Perhaps people don't believe this, but throughout all of the discussions
of entering China our focus has really been what's best for the Chinese
people. It's not been about our revenue or profit or whatnot."
--Sergey Brin, demonstrating the emptiness of the "don't be evil" mantra.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mercurylang.org/archives/developers/attachments/20140123/26a688b9/attachment.html>