Hacker News Reader

Agreed, better to use an IDE to insert the full type of a variable automatically so the code is readable in any environment afterwards.

Inferred types feels like an invention for people who don’t like IDEs, that somehow forces everyone _else_ to use an IDE.

But then an otherwise small change might result in changes to type annotations all over a code base.

Again, I find refactoring tools handle this well, and also this is kind of the point for me - I want to see the effect of type changes.