Подскажите язык программирования

Ищу язык программирования.
Хочется, что-нибудь вроде ActionScript 3.0 или C#, но оторванное от своих технологий.
Т.е. компактный язык, компилирующийся в нативный или байткод, с необходимым кол-во системных библиотек.
Требования: сборка мусора, строгая типизация, first-class functions, стабильность и приемлемая документация.
Обязательно - расширяемость, должен легко привязывать библиотеки на C++.

Пока нашёл HeXo + neko, но там смущает пара моментов.
Может кто знает, какую-нибудь экзотику.
Поделитесь, очень надо.



Примечание:
Т.е. HaXe + neko :) Ачепятка.

Примечание:
У Lua динамическая типизация, ООП там эмулировать надо.
php - это надо понимать стёб?
Java - громоздкая слишком.

RPI.su - самая большая русскоязычная база вопросов и ответов. Наш проект был реализован как продолжение популярного сервиса otvety.google.ru, который был закрыт и удален 30 апреля 2015 года. Мы решили воскресить полезный сервис Ответы Гугл, чтобы любой человек смог публично узнать ответ на свой вопрос у интернет сообщества.

Все вопросы, добавленные на сайт ответов Google, мы скопировали и сохранили здесь. Имена старых пользователей также отображены в том виде, в котором они существовали ранее. Только нужно заново пройти регистрацию, чтобы иметь возможность задавать вопросы, или отвечать другим.

Чтобы связаться с нами по любому вопросу О САЙТЕ (реклама, сотрудничество, отзыв о сервисе), пишите на почту [email protected]. Только все общие вопросы размещайте на сайте, на них ответ по почте не предоставляется.