Interesting last line in that presentation:

"Flow written in OCaml, Typescript in Typescript"