Why do people care about this? Writing type annotations is not that much work, but they make your code more readable.
I can see the argument for it when you have unspellable nested generic types, or when you don't want to write the same thing on both sides of an assignment. Simple type inference like in TS gives you that.
Having really smart type inference makes your compiler slower and more complicated. What's the real-world benefit?
> Typescript will try to unify the type to some sort of Any, which is probably not what you want.
Not really, unless you push the type inference beyond its limits, in which case you should just change your code.
I can see the argument for it when you have unspellable nested generic types, or when you don't want to write the same thing on both sides of an assignment. Simple type inference like in TS gives you that.
Having really smart type inference makes your compiler slower and more complicated. What's the real-world benefit?
> Typescript will try to unify the type to some sort of Any, which is probably not what you want.
Not really, unless you push the type inference beyond its limits, in which case you should just change your code.