[steveklabnik]

That's the thing about a compiler enforcing rules: you can't even get some kinds of dubious code to compile, so therefore, it will never meaningfully be copied.

Of course, that doesn't mean that all bugs are prevented, or that Rust code has no bugs, or that you can't write bad Rust code. But in the context of robotics and embedded control systems, Rust solves a lot of those "bad code" issues at compile time. And you're not using Perl in that context regardless.

[thesnide]

oh, now I'm wondering if Ada might be interesting for robotics.

As it is another language that is said 'compiler driven'

[steveklabnik]

It is one of the domains it was created for, so I would assume that it is. I barely know Ada, however, and so can't really say.