programming languages

Im looking for a programming language, it cant be Sepples (thats is pig disgusting++) or any form of C. It has to be multi-threading capable out of the box(without any external libraries or imports) and has be be open-source. And has to be really fast (to run and to compile). Also It must have generic programming support with operator/function overloading. And you have to post projects done in it first (i want to make sure it's syntax is sane). And it would be nice if it came with multiplatform optimizing compiler (WITH windows 64-bit support). OH! and it CANNOT have any garbage collection, or forced reference counting schemes. It has to be made of stable APIs, or something that doesn't require changing my code when i update the compiler. Also it would be nice if it was LLVM-based and not some arcane backend like "it compiles to C then uses platform C compiler". I have found some new languages that claim to be as fast as C,as safe as Java and as easy as python, but it was just a marketing trick, and i don't want to waste my time to check such lies and get disappointed again.

Let's take a very simple (and very artificial) example:
a + b

The + operator for integer as implemented in your hardware is perfectly understood. You know it is commutative. You know what is happening when you add 1 to the maximum representable positive integer etc ...

And yet, in spite of the fact that you perfectly understand this operator, you can't answer simple questions like:
f(x) + g(x) = g(x) + f(x) ?
f(x) + f(x) = 2 * f(x) ?

It may be true or wrong. You need to look at the code of f and g to be sure. And this is due to side effects in general (IO; shared state ...)

Side effects are making programming anti modular unless they are controlled and do not break composability. What composability means is that you can understand the meaning of your complex expression from the meaning of its parts. And so, you can progressively build more and more complex expressions and increase the level of abstraction and reuse. Because the semantic of the expression remain understandable and manageable due to its composable nature.

Haha, imperative chimps are so stupid.

http://www.alpheccar.org/content/104.html