> It’s only Rust (or C++, but unsafe) that have mostly zero-cost abstractions.

This just isn't true. It's good marketing hype for Rust, but any language with an optimizing compiler (JIT or AOT) has plenty of "zero-cost abstractions."