Suggestion Backlog Slog, 11/21/2016

[RyanCavanaugh]

• Grammar checking errors should be reported during binding phases instead of type-checking phase #6107 Report errors in original phases
• Method type declarations violate a es6 specification #6138 ES6 method objects should not have a prototype property
• "extending" internal namespaces #5205 Extending namespaces
• Suggestion: Infer literal types for getter only properties that return literals #11467 Infer literals from getter-only properties
• Enums inconsistency #11559 Make flag / non-flag enum difference more obvious
• Suggestion: a streamlined way to "expose" private variables publically #11804 Provide sugar for getters over privates or private set
• Return type of an inherited static method returning "new this()" is incorrectly the base class, but it's the child class in runtime #11793 new this return types in static methods
• Narrowing call signatures doesn't work so well #10471 Narrowing subtype-reduced call signatures fails
• Explicit documentation of mutable function parameters #9741 Explicitly annotate mutated parameters
• Should be possible to force import of "unused" modules in case there are side-effects #9191 We should talk about module ellision forever
• in type signatures, cannot refer to class defined as static anonymous class #7421 Lost type member - isn't this by design?

[RyanCavanaugh]

• Grammar checking errors should be reported during binding phases instead of type-checking phase #6107 Report errors in original phases
  • 👍 move things as early as feasible
• Method type declarations violate a es6 specification #6138 ES6 method objects should not have a prototype property
  • Won't Fix
• "extending" internal namespaces #5205 Extending namespaces
  • 👎
  • Preferred: static Names = { ...Base.Names, Baz: "Baz" }
• Suggestion: Infer literal types for getter only properties that return literals #11467 Infer literals from getter-only properties
  • getters are functionish and propertyish and we are bound to be inconsistent
  • 👎
• Enums inconsistency #11559 Make flag / non-flag enum difference more obvious
  • Would be breaking change to prevent numbers assigning to enums
  • 👎
• Suggestion: a streamlined way to "expose" private variables publically #11804 Provide sugar for getters over privates or private set
  • 👎 no more accessibility modifiers
• Return type of an inherited static method returning "new this()" is incorrectly the base class, but it's the child class in runtime #11793 new this return types in static methods
  • Tricky because the derived constructor might actually have different arity
  • Too Complex / AMF / Duplicate
• Narrowing call signatures doesn't work so well #10471 Narrowing subtype-reduced call signatures fails
  • Union types of S | S' are really dangerous but what can we do?
    • Issue an error?
  • Design Limitation
  • What we should really have is the object primitive type
    • And the mixed type
    • Try to tackle both in 2.2
• Explicit documentation of mutable function parameters #9741 Explicitly annotate mutated parameters
  • Theoretical pure modifier applies DeepReadonly to all arguments?
    • But how does this e.g. cause pop to go away?
    • But purity is not guaranteeable in any world with muatble observable properties
    • Difference between side-effect-free and pure is subtle but maybe people only care about one of them
    • e.g. ReactComponent#render should be side-effect-free and... maybe pure?
  • 👎
• Should be possible to force import of "unused" modules in case there are side-effects #9191 We should talk about module ellision forever
  • Back compat break
  • ES6 behavior break
  • import type ... & --noElideImports
  • Keep thinking
• in type signatures, cannot refer to class defined as static anonymous class #7421 Lost type member - isn't this by design?
  • Yes

[RyanCavanaugh]

I flush design meeting notes on a timely basis like a responsible adult