Qt же.

AS3, впрочем хз че там с типизацией :)Ну и да, проприетарщина, не нужно и т.д.

кросплатформенный на уровне среды исполнения :)

Racket (PLT Scheme), Common Lisp, Smalltalk? ;-)

ocaml

> кросплатформенный на уровне среды исполнения

Не хочу компилять по сто раз.

Smalltalk скорее ))

>кросплатформенный на уровне среды исполнения

Развитых решений этого типа, кроме JVM и .NET сегодня просто нет.

Из неразвитых - смотри Parrot, например.

А Smalltalk?

> Не хочу ни от кого зависеть.

Уйди жить в лес.

Cincom VisualWorks.

>Развитых решений этого типа, кроме JVM и .NET сегодня просто нет.

Smalltalk же

Есть ещё Smalltalk/X как вариант, но он куда менее ънтрпрайзен :)

смотри Parrot, например.

Он же для динамической типизации.

>Он же для динамической типизации.

Как типизация VM связана с типизацией языка?

Я, может, чего не понимаю.

Wikipedia

Современные распространенные виртуальные машины, как, например Java VM и .NET CLR были разработаны для языков со статическими типами данных, тогда как языки, на поддержку которых нацелен Parrot используют динамические типы.

>были разработаны для языков со статическими типами данных

Это не значить, что на VM со статическим связыванием нельзя сделать динамическое. Просто оно будет менее эффективным. На JVM полно динамических языков :)

И статья, кстати, врёт. В .NET изначально была поддержка динамических языков на уровне VM (и поэтому они там были производительнее), в JVM поддержку (invoke_dynamic) ввели, ЕМНИП, год назад в JDK7.

JDK 7 еще не зарелизен, как там в 2012-м году живется? :-)

>JDK 7 еще не зарелизен

Я этого и не говорил, заметь. Я просто сказал, что это в JVM уже есть.

Странные требования, несовместимые с реальной жизнью. Вон, Java есть везде: на телефонах, на смартфонах, на ПК. Но попробуй найти хоть одну программу, которая работает на смартфоне и на ПК даже на двух разных телефонах может не заработать. А другая, хотя бы настолько же кроссплатформенная, среда исполнения в реальной жизни не наблюдается.

Согласен ограничиться РС.

И еще, я ленивый )

Haskell

>И еще, я ленивый

Специально «для ленивых» придумана OpenEuphoria :)

haxe - подходит подо все требования

erlang

>Специально «для ленивых» придумана OpenEuphoria :)

Кстати интересный язык.

Не хочешь ни от кого зависесть - форкни mono или openjdk.

Но попробуй найти хоть одну программу, которая работает на смартфоне и на ПК даже на двух разных телефонах может не заработать.

Socoban из примеров Sun J2ME WTK работает ВЕЗДЕ! Сам лично проверял: Nokia 3510i, SE T610, SE K790i, эмулятор WTK в Windows, эмулятор WTK в Linux, FreeBSD.

JDK теперь нельзя форкать.

OCAML.

кросплатформенный на уровне среды исполнения

Это как? Чтобы не компилировать? Тогда вариантов немного. А так бы предложил Ada + GPS.

ONLY JAVA

Ничего работaющего на уровне Java с тем же фунцкионалом не найдете.

>Есть варианты?

Все что ты предлагаешь обладает:

1. Сложным синтаксисом.
2. Сложным рантаймом.

А, следовательно, либо не существует в природе, либо не обладает компактностью и хорошей переносимостью, либо динамическое по своей природе.

Единственное, что приходит на ум — Mythryl, форк SML/NJ. Там хоть какая-то активность ведется. И разработчик, по кайней мере, талантливый

Но, увы, с 64-битностью полная беда.

Лучше Жавы может быть только Жава. Посмотри в сторону Erlang, имхо оно и ентерпрайзненько, и интересно в изучении.

>Ничего работaющего на уровне Java с тем же фунцкионалом не найдете.

>Ничего .. не найдете.

Ты точно правильно выразил мысль?

> Не хочу ни от кого зависеть.

Пиши свою яву (тёплую, ламповую).

Ну и чтобы никто не зависил от тебя - выкладывай под BSD.