[m-dev.] Inductive goals

[Peter Schachte]

On 23/01/14 15:21, Michael Richter wrote:
> On 23 January 2014 10:20, Peter Schachte <pschachte at gmail.com
> <mailto: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.

Dijkstra was usually right.

Since the expressiveness of the folds and from-to-by syntaxes are about
the same, the matter should be decided on convenience/readability.  So
which would you find more readable or more convenient?

-- 
Peter Schachte               All truth goes through three stages. First
University of Melbourne      it is ridiculed. Then it is violently
schachte at unimelb.edu.au      opposed. Finally, it is accepted as
www.cs.mu.oz.au/~schachte/   self-evident. -- Schoepenhouer
Phone: +61 3 8344 1338

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mercurylang.org/archives/developers/attachments/20140123/ec3738fd/attachment.html>