> Ada has as much zero cost abstractions as C++ and Rust have.
Couldn't find anything about it (see above), but does Ada come with any monomorphization tricks?
The way generics are implemented in Ada compilers is implementation specific.
> What you don’t use, you don’t pay for. And further: What you do use, you couldn’t hand code any better.
without monomorphizing the generics?
Also I find funny this point of view on Ada, given the poor examples WG21 has added into the C++ standard library, that will never be fixed due to never-ending ABI drama.
With that said. How does:
> By letting the compilers decide the best way to implement them.
Get you to zero cost generics. What if implementor just says "let them eat memory" and boxes the generic.
> Ada has as much zero cost abstractions as C++ and Rust have.
Couldn't find anything about it (see above), but does Ada come with any monomorphization tricks?