@michalfita @nullagent And for #Rust they come from webdev... (it is a joke). But my point still holds – people use Rust because it is fashionable, there are plenty of strongly typed languages. Yes Rust was first language that popularized affine type system – and that's good. But handling allocated resources isn't the only thing that is relevant for correctness. In #Ada for example you can write substantial programs without *ever* using dynamically allocated memory. Also in Ada you can have bounded types like an integer from 1 to 10 etc. Also Ada has a specification and is ISO standard. Compiler (gnat) is GPL licensed compared to MIT which is prone to corporate hostile project takeover. I hope you understood my point – Rust fans should compare Rust with some langue within its own league and not beat a grandpa C.