Optional Strong Typing

Brendan Eich brendan at mozilla.com
Fri Aug 23 12:37:37 PDT 2013

J B wrote:
> @Brendan - The typing wouldn't be used at all during run-time. So, 
> unlike AS3, it wouldn't check if types were valid, and it wouldn't try 
> an kind of implicit coercion.

Ok, that's not "typing" (I mean not a type system).

"Those are warnings, but WarnScript was a bad name" - me at JSConf.au 
last November.

The unsoundness means you have something that needs strong tool support, 
not just an error or JS console in which to spew. TypeScript got this right.

This again puts unsound warning "types" outside of the standards track 
for a while. But carry on with TypeScript etc. -- TC39 is tracking.


More information about the es-discuss mailing list