C++ Rules.

Proof:

The fact that C++ Rules can be easily proven by considering two facts:

i) C rules. (1st Standard Programmers' Axiom)

ii) C is contained in C++.

Corollary: C++ Rules Even More than C.

Proof:

We have already proven that C rules, so we now only have to prove that C++ is better than C. That is obvious if we consider two facts:

i) C is contained in C++. That is, you can do in C++ anything you can do in C.

ii) C++ does things that C doesn't do. Example: In C, you can make a program which barks. In C++, you can make a program which barks, or you can make a program which creates a dog, and then make the dog bark.

The Lisp and functional language community failed to make automatic garbage collection and higher-order everything mainstream even though they had the enthusiastic backing of the academic and educational establishment for more than two decades.
just look at javascript, c#, and the things that are planned for future versions of java.
and then there are languages like perl, FIOC, and SAF...
what else is there that's "mainstream" besides c and sepples?