Flow seems to be close to a true application of type theory and is written in OCaml. Well done Facebook.