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?

>>10
1. Closures are not non-compilable.
2. OP doesn't know what he's talking about.
3. Ignore that part.
4. See how mzc works, that's ideal.

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!