haXe, это язык программирования такой. Интересен он тем, что он:
1) Реально кроссплатформенный. То есть поддерживаются такие современные платформы, как jvm, .net, flash, js ну и устаревшие платформы вроде x86 тоже конечно же поддерживаются.
2) С выводом типов, с паттерн матчингом, алгебраическими типами данных и прочими прелестями жизни
3) Естественно статическая типизация.
4) ООП тоже поддерживается.
http://en.wikipedia.org/wiki/Haxehttp://haxe.org/http://ru.wikipedia.org/wiki/HaXeВ общем, похоже оно стоит того, чтобы уделить ему сколько-то времени.
PS. Замечательная штука -- оно на флеше работает быстрее чем ActionScript.