I want...

A language that:
- Can be compiled to native code.
- Can use OO abstractions.
- Is not Java.
- Is not C++.
- Is not C#.

What I am searching for?

>>59
more effiecient.
Allocation on copying GCs is done in constant time, malloc is not.
A minor garbage collection (assuming a generational GC) is proportional to the amount of live data. Most object die shortly after being allocated. Free is not smart. The GC can do major garbage collections in a separate thread.