Применительно к фронтенду: ни Flow, ни Typescript не решают проблему (пока). Поддержка типов - это просто попытка хоть как то помочь понять, что происходит, но этого мало. Переписать все на Elm, ReasonML или Purescript тоже не вариант, в виду обозначенной выше причины. Для этого нужно понимание матана, а с этим на фронте напряжёнка. Надежда на светлые умы, которые запилят функциональные примитивы, чтобы все их использовали, хоть и без полного понимания, что вообще происходит (прямо как сейчас с ООП)