New draft (#2) and last call for comments on SRFI 217: Integer Sets
Arthur A. Gleckler
(31 Jan 2021 05:39 UTC)
|
Re: New draft (#2) and last call for comments on SRFI 217: Integer Sets
Marc Nieper-Wißkirchen
(31 Jan 2021 08:58 UTC)
|
Re: New draft (#2) and last call for comments on SRFI 217: Integer Sets
Arthur A. Gleckler
(31 Jan 2021 17:27 UTC)
|
Re: New draft (#2) and last call for comments on SRFI 217: Integer Sets
Wolfgang Corcoran-Mathe
(31 Jan 2021 19:19 UTC)
|
Re: New draft (#2) and last call for comments on SRFI 217: Integer Sets
Wolfgang Corcoran-Mathe
(03 Feb 2021 00:12 UTC)
|
Re: New draft (#2) and last call for comments on SRFI 217: Integer Sets
Marc Nieper-Wißkirchen
(03 Feb 2021 06:58 UTC)
|
Re: New draft (#2) and last call for comments on SRFI 217: Integer Sets Wolfgang Corcoran-Mathe (03 Feb 2021 07:25 UTC)
|
Re: New draft (#2) and last call for comments on SRFI 217: Integer Sets
Marc Nieper-Wißkirchen
(03 Feb 2021 07:30 UTC)
|
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