Bevy is intentionally sharded across many crates, is small, and has the dev working on optimised build times.
That isn't "Rust compiles are fast", it's another example of "Rust requires you architect your code a specific way".
That isn't "Rust compiles are fast", it's another example of "Rust requires you architect your code a specific way".
And neither the original example is "Rust compiles extremely slowly" (it does compile slowly), it's another example of "vibecoded software is of poor quality".
That said, I would love for Idris to continue to develop. I'm a big believer in dependently typed languages and would actually improve correctness, assuming there are reasonable ways to avoid the other trappings of the language.
I would not include Ada, if you're benchmarking against Rust. Mostly because Ada either outperforms it (because it can reduce sizes in the optimiser), or it is equal to it.