Reflection types

[Naddiseo]

Do we need to do anything regarding this: https://github.com/alex-weej/es-reflect-type-proposal

[lukescott]

If there is any reflection in JavaScript, there needs to be a way to get the type of each argument and the result type of a function (most likely). So I would say: Yes we need to do something regarding reflection, depending on how that takes shape.

[Naddiseo]

Okay, all the problems I'm thinking up now are due to this issue. I think we should not do reflection in this proposal, and let the es-reflect proposal handle turning hints into reflectable types (assuming hints are put into the language first), or have a second proposal afterwords "es-hint-reflection" to deal with hints+reflection.

[lukescott]

I'm not sure we can completely ignore reflection. Considering it's part of another proposal, perhaps we can do a separate .md file that describes how it would work with reflection. We should do something similar with #31 (Typed Objects).

[lukescott]

Hmm... is that even in stage 0? I don't see it here: https://github.com/tc39/ecma262/blob/master/stage0.md

[Naddiseo]

It is a strawman at the moment, posted on the es-discuss mailing list. So, yeah, lets ignore reflection.