Re: stopping a loop iteration without exiting it

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On 12/01/2018 10:22, G. B. wrote:
> Dmitry A. Kazakov <mailbox@dmitry-kazakov.de> wrote:
>> On 11/01/2018 21:54, G. B. wrote:
>>> Dmitry A. Kazakov <mailbox@dmitry-kazakov.de> wrote:
>>>
>>>>>> I have no idea what this is supposed to mean.
>>>>>
>>>>>
>>>>> L:
>>>>> [for|while...] loop
>>>>> ...
>>>>> goto L;
>>>>> ...
>>>>> end loop L;
> 
>>> loop is intended for the opposite, for when it’s not over yet.
>>> For when it’s done again. “exit” cannot mean that, but the
>>> hypothesized goto can.
>>
>> 1. "exit" can:
>>
>>     exit when <condition>;
>>
>> When condition evaluates false the loop continues.
>   
> Well, no, the loop’s body continues. Doing so, it doesn’t
> trigger another iteration, unlike “goto Continue”, or “goto L”.
> It doesn’t drive.

goto Continue triggers nothing, no more than exit when False at the loop 
end or any last loop statement.

loop
    ...
    exit when False;
end loop;

>> P.S. Take if + a subroutine call. That gives recursion. Then following
>> your flawed logic either if or loop is bad.
> 
> Indeed this is a functionist’s main tenet.
> But then, if CALL and COND do not suffice, i.e., if they need
> an additional goto-like evaluation driver, then the functional
> language is broken.

Whatever, any non-minimal language is broken, who cares?

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de