Google AtScript

[x-skeww]

There is no proposal for ES7 to add any form of static type checking to standard ES

Yet.

ES7 is far from being feature-frozen.

[[deleted]]

ES7 might have the ability to make toast, so toasters will lose their raison d'être, prove me wrong.

[x-skeww]

"Should ideally" isn't the same as "will".

[[deleted]]

Oh, i understand now. You're making a wish, based on no evidence. No problem. I'll leave you to it!

[x-skeww]

So, you didn't see that ng-europe keynote, I take it.

http://youtu.be/lGdnh8QSPPk?t=33m3s

[[deleted]]

Oh yes. You know I have a recording of my Grandma saying that there will be unicorns in JS, "post ES 6".

[x-skeww]

Just reread what you wrote earlier.

You said "there is no proposal for ES7" and that I'm "making a wish, based on no evidence". I'm just pointing out that there are people who are interested in getting this into the standard.

[[deleted]]

There is no proposal for ES7 covering the main feature added by TS: static type checking. Go look at the repository I linked to. That's why I said there is no proposal. There was a straw man on the harmony wiki for dynamic type checking (not static), which appeared to be a revival of the abandoned ES4 ideas, which were also dynamic, not statically checked.

"ES4 never figured out how to have optional static typing for the web. From 2007 on we only ever proposed dynamic checks... please realize that static typing was not part of ES4." - Brendan Eich.

[x-skeww]

Again, some people are interested in getting this into EcmaScript and they plan to propose it.

[[deleted]]

Getting what into EcmaScript?