Dart скорее мёртв чем жив, и как ЯП полный отстой.
Flow - не компилятор, а анализатор, и мало что даёт. И к нему нужен всё тот же гадкий бабель + вебпак.
Typescript - это круто конечно для энтерпрайза, когда нужна дичайшая интеграция со старым легаси-кодом на js и при этом хочется снизить общий уровень энтропии в разработке. Или когда не хочется заморачиваться ФП. Например, не всем нравится redux/elm архитектура, Императивный реактивнй стэйт в mobx проще и эффективнее. В typescript есть ADT, статические миксины, ковариантность при выводе/стат. проверке типов + почти всё из ES6+. Крутейшие плагины для webstorm и vs code. В typescript и сопутсвующий тулинг постоянно добавляют новые крутые фичи.
Тем не менее после elm писать на typescript примерно как на питоне после haskell, Даже в Гоу по моим ощущениям заметно меньше хаоса, чем в typescript