There is an EcmaScript proposal to go in that direction: https://github.com/tc39/proposal-type-annotations
I think this should be part of the language spec.
I think this should be part of the language spec.
E: I thought it was JSDoc proposal. Ignore the comment.
They just can't have browsers doing the actual type checking because there isn't a specification for how to do that, and writing one would be extremely complicated, and I'm not sure what the point would be anyway.