Not true. It's very difficult to unlock a big budget when you have a small team. And with Coq or Haskell, you team won't be very big...
Also, ADA is _a bit_ popular, but not too much. Most of the code is still done in C because of the conformism. Object oriented programming is still considered like a dangerously modern move. The rules here are pretty hard and it's easier to fuck up the regulation than the code... (cough A330 Neo cough)
Comments
Not true. It's very difficult to unlock a big budget when you have a small team. And with Coq or Haskell, you team won't be very big...
Also, ADA is _a bit_ popular, but not too much. Most of the code is still done in C because of the conformism. Object oriented programming is still considered like a dangerously modern move. The rules here are pretty hard and it's easier to fuck up the regulation than the code... (cough A330 Neo cough)