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.

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 think the right abstraction hasn't been found for Scheme yet.

I agree, but don’t really know a good solution.

I’d love to have one, though, because I miss the ergonomics of generic
functions I used to use in Python.

Maybe something could be done with pulling inner type-checks to outer
scope, so you don’t get dynamic dispatch on single procedures (maybe in
a tight loop) but on larger codeblocks (so the tight loop itself would
use the optimized procedures directly)?

Best wishes,
Arne
--
Unpolitisch sein
heißt politisch sein,
ohne es zu merken.
draketo.de