Searching language

I'd like to have a language which
1. Is strongly typed;
2. Can be both interpreted and compiled (no virtual machines);
3. Has a good library;
4. Well integrates linux;
5. Object oriented;
6. Not complex as C++.

Any suggestion?

>>43
I know FPC can't do all the microoptimization that popular C compilers can do, but it's okay. Maybe it'll get a proper instruction scheduler and cache optimizer in the coming year

At least it only takes a few seconds to build the compiler...