Re: New draft (#2) and last call for comments on SRFI 217: Integer Sets Wolfgang Corcoran-Mathe 03 Feb 2021 07:25 UTC

On 2021-02-03 07:58 +0100, Marc Nieper-Wißkirchen wrote:
> How do you intend to solve the proper tail guarantees? The search procedure
> does not seem to be general enough so that all guarantees made in SRFI 146
> can be exploited.

We haven't changed the tail-call requirements.  Is the idea that we
use continuation marks to clarify what, exactly, is meant by tail-calls
here?

> "The art of doing mathematics consists in finding that special case
> > which contains all the germs of generality." --David Hilbert
>
> The original quote is: "Die Kunst, Mathematik zu betreiben, besteht darin,
> den speziellen Fall zu finden, der alle Keime der Allgemeinheit enthält."
> Do you happen to know a source?

Wikiquote gives _Hilbert_, by Constance Reid (1970) as the source of
the English version; I suppose it's her translation.

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

"Karate begins with courtesy and ends with it." --Shoshin Nagamine