ну вот я пишу для себя. думаю взять хаскель. какието проблемы вижу - интероп с тс, интероп с питонкой. впрочем на любом языке так
и люди постепенно делают всякие конвертеры типчиков из питона в тс из тс еще куда то. вот рисерчку можно ли типчики прописать в хаскеле и экспортировать везде