It blows my mind that in 2008 companies are moving *toward* C++.

mfp · on Feb 9, 2008

... but they use OCaml to prove that there are no run-time errors (RTE) in their code :-)

http://www.astree.ens.fr/

"In Nov. 2003, ASTRÉE was able to prove completely automatically the absence of any RTE in the primary flight control software of the Airbus A340 fly-by-wire system, a program of 132,000 lines of C. [...] From Jan. 2004 on, ASTRÉE was extended to analyze the electric flight control codes then in development and test for the A380 series."

factor · on Feb 9, 2008

Go&learn C++. It blows my mind how often people confuse C++ with "C with classes" in 2008. Granted, C++ isn't as sexy as OCaml, but it's still C plus some rather nice extentions that (finally) got trully portable and work as advertised.

Powerful templates plus multiple inheritance give you a very impressive weapon to play with. C# and Java don't even come close.

And please... 99% of software on Windows, Mac OS X and Linux are built using the same stuff: C/C++/ObjectiveC.

newton_dave · on Feb 9, 2008

I'm not sure I'd lump Objective-C in with C++ :/

C# and VB run an awful lot of Windows software, too.