@scame, косяки: затирание типов (по причине отсутствия поддержки дженериков на уровне виртуальной машины), отсутствие оптимизации хвостовых вызовов (и, как результат, невозможность написания рекурсивных функций), отсутствие полиморфизма второго ранга, етс.