5 ms·Flow seems to be close to a true application of type theory and is written in OCaml. Well done Facebook.by antoinelyset 12y agoFlow seems to be close to a true application of type theory and is written in OCaml. Well done Facebook.