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?

>>26
Strongly typed only means that you MUST specify types.
A dynamically typed language can let you specify types just fine, and in most cases, you can easily find out what types the arguments to your functions must be (in statically typed languages you just look at the function signature, in dynamically typed ones: documentation, conventions and the language's own introspective features usually let you find them out. I can't say I had trouble finding out what the arguments are meant to be in either language). Strongly typed != dynamically typed or statically typed.

It can also be argued that code base sizes can increase in strongly typed languages.