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?

>>41
I remember flamewars from long ago when I with kids argued about "C vs Pascal". I always liked to run pascal code through p2c and measure its time. Then I laughed at pascalfags because code that came through translator runs faster than original. Pascal compilers were so shitty those days.