@michalfita @nullagent idk, after all those arguments I still think that my point holds: If you *really* care about safe software you write it in #Ada *today*, and not in #Rust someday when it will have bounded types, or stable standard, or being able to recompile your project after 10 years. Safety isn't only about memory allocation it is about processes and first and foremost code maintainers. Most Rust evangelists were JS/Java/C++ programmers in the past – aka normies, so they just don't know anything better.

Rust is a *good* language, but cult following around it is just insane. And all those people that heard about safety for the first time from Rust evangelists... sigh.

P.S. Marketing approach of Rust is worth learning – beat a straw man argument, aka Rust is better then C and ignore real competitors.

P.P.S. And about AdaCore what should they do? of course they want to cooperate I don't get the point.

P.P.P.S. MIT license is only good for corporations that want to abuse free work of open source community.