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
Would love a config that converts all any to undefined, including any cases where TS would infer any to instead infer unknown.
Yesss. I have almost removed all usages of ts-ignore and any/Function/Object in my project. Discovering that the stdlib leaks unsoundness was a bummer.
Adding downcasts don't produce soundness, it just shifts blame
I'm not particularly well versed in proper type system terminology. Where there is any, it produces uncertainness in my code which is why I use a type system in the first place. With proper refinements dealing with unknown is easy and I would prefer extra validation code anyway.
Is it possible to overwrite the stdlib? Seems like they should have stricter versions for “strict config” that would be straight forward to maintain
Yeah it's possible, same with Flow too. Maintaining a separate set of types seems painful, although a simple `any -> unknown` would be easy.
I find `Object`/`object` the worst among the mentioned #typescript types.
Most people know `any` is both ways compatible with everything (except for never, void, etc).
But very few people know that so is `Object` because of #javascript coercion.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
