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?

Everyone here reccomends OCaml? Wat

Well, if I add the condition
- I am planning to use it for building a network protocol over it.
the responses change?