Внезапно обнаружился, на первый взгляд, весьма годный ЯП о котором я не знал: Monkey.
Статья про него на хабре:
http://habrahabr.ru/post/159377/Это модульный статически типизированный язык с симула-подобной объектной моделью (ну, то есть с моделью схожей с java/c++/c#/delphi). Внимание! Модуль и класс в этом языке не одно и то же!
Кроме того, в языке имеются
пищевые добавки дженерики (чтобы иметь одновременно и статическую типизацию, и 100500 раз один и тот же контейнер для разных типов не писать). Сборщик мусора также в наличии. Обработка ошибок возможна через механизм исключений.
Дока по языку:
http://blitz-wiki.appspot.com/Language_referenceДоки по стандартным модулям:
http://blitz-wiki.appspot.com/Module_referenceНу и самое, для меня, вкусное: оно компилируется под кучу платформ: и в js компилируется, и в java и в c++ и в c#, что открывает большие возможности для написания алгоритмов - один раз написал, используешь везде (алгоритм). А не как в жабах всяких, которые не кроссплатформенны нифига.
Язык и компилятор под лицензией public domain, так что свободней (и бесплатней) некуда.
Вообще, автором этот язык преподносится как штука для игроделов (у него и коммерческая версия с тонной игро-заточенных либ имеется). Но я вижу где я мог бы его применять вне игр :-) (у меня постепенно разрабатывается пачка алгоритмов, которые мне, волею судеб, приходится постоянно таскать между сервером/йфоном/браузером/десктопом(причем разными десктопами). И меня несколько достало постоянно переписывать с C/ObjC на Java, а затем на js. Руками. А тут еще и C# нарисовался. Тьху.)