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?

Object Pascal
-Strong typed
-Only compiled, but came from an interpreter background(UCSD Pascal)
-Has a nice large library, and units for most used APIs
-Integrates well in an UNIX environment
-Object Oriented with all the bells and whistles
-Way less complex than C++

FreePascal 4 lyfe^!