Re: [scheme-reports-wg2] Threads and futures Marc Nieper-Wißkirchen 23 Mar 2022 15:33 UTC

Am Mi., 23. März 2022 um 16:28 Uhr schrieb Dr. Arne Babenhauserheide
<xxxxxx@web.de>:
>
>
> Marc Nieper-Wißkirchen <xxxxxx@gmail.com> writes:
> > What Scheme does not yet have, though, is an efficient and usable
> > idiom to write generic algorithms à la those in the C++ template
> > library.
>
> Having waited a lot for C++ compiles, I do not consider these efficient.
> They *are* runtime efficient, but they have a huge compile-time cost.

The long compilation times of C++ compilers are a lot due to the fact
that there is no module system prior to C++20, meaning that in a
typical program millions of lines of C++ code have to be processed.

> Also because compile-time can be during runtime for Scheme (for example
> when you use a macro in a lamda), the optimal idiom will likely be
> different than C++.

I didn't necessarily want to advertise the C++ idiom (which is based
on its static type system, anyway). This is just the benchmark
efficiency-wise. :)

I don't understand your comment about a macro in a lambda. Had you
mentioned the eval procedure, I'd understood.