Statically typed JavaScript via Microsoft TypeScript, Facebook Flow and Google AtScript [2ality.com]