Подскажите, пожалуйста, две вещи (кто знает):

1). Какую-нибудь хорошую статью/страницу/ресурс/... со сравнением (желательно максимального количества) существующих языков программирования.

2). Может кто знает (свой родной язык програмиирования, или просто слышал): хочется найти язык программирования со следующими характеристиками:
- наподобие PHP (5), но только со строгой типизацией и возможностями создания собственных типов данных (a-la typedef, struct, signed/unsigned/...);
- наподобие С/С++, но только с автоматическим управлением памятью и чуть более высокоуровневый;
- компилируемый (в достаточно эффективный код);
- с возможностью (достаточно простого) добавления модулей на С/С++;
- работающий на unix (POSIX) платформах.

Плюс ко всему (чтобы, видимо, вообще никогда такой не найти): с открытыми кодами и божеской лицензией...  

Буду рад любой информации.
Заранее спасибо.