On 2021-06-15 22:05 +0200, Marc Nieper-Wißkirchen wrote:
> Am Di., 15. Juni 2021 um 21:28 Uhr schrieb Wolfgang Corcoran-Mathe <
> xxxxxx@sigwinch.xyz>:
>
> > On 2021-06-15 15:24 -0400, Wolfgang Corcoran-Mathe wrote:
> > > On 2021-06-15 20:57 +0200, Marc Nieper-Wißkirchen wrote:
> > > > Also, I'd suggest allowing an arbitrary number of values added to the
> > stop
> > > > continuation of fxmapping-accumulate that enables communication from
> > values
> > > > inside the loop to the outside world (e.g. some accumulated value).
> > >
> > > The beauty of fxmapping-accumulate is that this is unnecessary;
> > > to pass values x1, x2, ..., from inside `proc`, you just call
> > > (values (stop) x1 x2 ...).
> >
> > A minor additional point: Looking at this example, I'd say that `stop'
> > is a misleading name.  Perhaps `return' would be better, but I'd prefer
> > something that suggests producing a final value--`finalize'?
> >
>
> Maybe "stop" is not so misleading. The point is that
>
> (values (stop) x ...)
>
> won't work as expected as the continuation in which (stop) is evaluated is
> aborted.

Oops, you're indeed correct.  So we must still require than stop, or
abort, be invoked in tail-context.

--
Wolfgang Corcoran-Mathe  <xxxxxx@sigwinch.xyz>

"The dojo is the place where courage is fostered and superior
human nature is bred through the ecstacy of sweating in hard work.
It is the sacred place where the human spirit is polished."
--Shoshin Nagamine, The Essence Of Okinawan Karate-Do