[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.