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.

This is maybe slightly off-topic but one reason I prefer Java to C# when it comes to reading code outside an IDE is that it forces you to explicitly declare where every external class is being imported from, which makes it much easier to go looking for the definition if you need it, when you don't have access to the IDE's right-click "Go to Definition".

Mea culpa. I didn't read the article closely enough and I missed this.