A set of syntax for types that engines would ignore but TypeScript, Flow and other tools could use would also need to be created as part of the proposal.
The new Stage 0 proposal (opens in new tab) was written and put forth by Gil Tayar, Microsoft's Daniel Rosenwasser, Igalia's Romulo Cintra and Bloomberg's Rob Palmer and is available to read in its entirety on GitHub (opens in new tab).
> This ancient programming language is way more common than we all thought (opens in new tab)
> It's official, these are the most hated programming languages around (opens in new tab)
Via InfoWorld (opens in new tab)