| > In my IDE... Sounds great! And very close to what I was thinking about. What's your IDE? > The type information is simply “stored” in the plain-text source code itself, as type declarations/annotations. Yes, I think that's the right way to do it. I do believe that there needs to be some way to tell the difference between these three cases: 1. I put the type information there, that's really what I intended 2. The system put the type information there and I okayed it 3. This is what the system currently thinks, no human interaction However, I believe this just from thinking about it, without having used such a system, so I may be completely wrong. My background is also dynamically typed systems like Smalltalk, so the state of having no static type information available is also acceptable. |
NetBeans. Since Oracle dropped it to Apache, not a lot of work is done on it anymore, but I still cling to it due to a couple of things that IMO it does better than IntelliJ or Eclipse.
Regarding type inference, I prefer to be able to see the types of all variables right away, in all contexts, and therefore I’m not a fan of inferred variable types. It seems to me that those who favor inferred types mostly want to avoid typing (as in “pressing keys”) and problems with refactoring, as opposed to not wanting the types to be visible at all (because they are mostly fine when IDEs do display them). But I believe that can be adequately addressed by appropriate IDE support for inserting/updating type information in the source code itself.