Я не про то, что на нём можно писать -- он тьюринг полный, работает через JVM, компилится в JS (вроде бы) и в нейтив. Мой вопрос в том, что на нём реально пишут.
А про типизацию пиздец тредик конечно. Ставьте Хачкель и радуйтесь типам, если и его мало то языки-расширения над ним. Там и тестов меньше надо, т.к правильная композиция анальных тайпклассов покрывает кучу случаев типикал бойлерплейт-тестов