Охуенный этот ваш Flow, судя по статье https://code.prod.facebook.com/posts/1505962329687926/flow-a-new-static-type-checker-for-javascript/ По сравнению с TypeScript имеет Maybe-значения (типа избегает null-ошибок), поддерживает React и еще на OCaml написан.