JavaScript boy and “lovely thoughtleader” 
he/him 
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
Could you please explain what you mean by "local variable refinements"?
The examples included in my follow up tweets clarify. I should have said "closed-over variables" apparently:https://twitter.com/sompylasar/status/1146529893301116928 …
Anyway, variable refinement is an action performed by the typechecker that removes impossible subtypes from the known type of the variable based on control flow or typehints. let a: string | number = 5; if (typeof a === 'string') { // `a` must be a string return a.length; }
Is "refinement" different from "narrowing"?
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
