For those wondering, Reason is basically transpiled to very similar OCaml, with some focus on platforms like the web. I think some folks at Facebook might be interested in Reason becoming to them as Java is to Google.
> Powerful, safe type inference means you rarely have to annotate types, but everything gets checked for you.
Why did they create a new language? Isn't this what they made Flow for? Or does Flow rely heavily on annotations? I did not follow up the development of Facebook's projects recently. This is the first time I have heard of that.