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?

>>15
BTW, naïve C code dealing with minimally complex data structures and compiled with GCC is actually slower than equally as naïve equivalent Scheme code compiled with mzc. OMG OPTIMIZED is brokan!
I call bullshit on that and it shall remain bullshit until you supply two equivalent programs in both C and Scheme for which the mzc-compiled binary will outperform the -OZOMG GCC-compiled binary.