I wonder what a better language would look like. It would have to be similarly locked down, because trusting a programmer with a full strength language seems l

I wonder what a better language would look like. It would have to be similarly locked down, because trusting a programmer with a full strength language seems like a bad idea when it's something that could kill people if it fails.