I'm hopeful that type inference combined with class syntax and an (eventual) traits system will get us "there", so that you can use structural type tests for enforcement and that the IDE can get the benefit of hints through inference. That said, I think the "I want to refactor automatically" use-case is sort of over-played.
On Sep 11, 2011, at 4:04 PM, Brendan Eich wrote: > Type Inference can do a lot. See http://doctorjs.org/. > > We do not want people adding guards all over their code, IMHO. Anyway, we > don't know have guards ES6. > > Disclosure: I'm an ajax.org (http://c9.io/) advisor. > > /be > > On Sep 11, 2011, at 3:10 PM, Axel Rauschmayer wrote: > >> One thing I liked about the Dash/Dart email was that it explicitly stated >> the goal of tool/IDE support (this is the only area where I miss Java when >> programming JavaScript). Is there something corresponding among the Harmony >> goals [1]? (5) Support a statically verifiable, object-capability secure >> subset(?) >> >> For IDE-support we already have class literals in ES.next. What is still >> missing? Type guards? Will those make it into ES.next? >> >> I find that there is a lot of cool stuff going into ES.next which will make >> it highly competitive with whatever Google can possibly come up with. >> However, a good Dart IDE can do much to increase Dart’s appeal. On the other >> hand, the market for a good JavaScript IDE is large (as in “unfragmented”) >> and only becoming larger, so maybe we’ll eventually get there. >> >> [1] http://wiki.ecmascript.org/doku.php?id=harmony:harmony >> >> -- >> Dr. Axel Rauschmayer >> >> [email protected] >> twitter.com/rauschma >> >> home: rauschma.de >> blog: 2ality.com >> >> >> >> _______________________________________________ >> es-discuss mailing list >> [email protected] >> https://mail.mozilla.org/listinfo/es-discuss > > _______________________________________________ > es-discuss mailing list > [email protected] > https://mail.mozilla.org/listinfo/es-discuss -- Alex Russell [email protected] [email protected] [email protected] BE03 E88D EABB 2116 CC49 8259 CF78 E242 59C3 9723 _______________________________________________ es-discuss mailing list [email protected] https://mail.mozilla.org/listinfo/es-discuss
