I remember in the 1980s, when there was an attempt to rewrite the US air traffic control system in Ada. A friend of mine, was on that project.
It did not end well.
It's a very hairy problem, and mistakes are very costly.
On another note: Those video gamers are gonna have some pretty clunky video experiences.