An interesting idea is for the types to be inferred, but not everytime you compile the code, but only the first time, then the compiler edits the source and adds the infered types. Or an IDE could do that.
I prefer my compiler to be a pure function. What if I'm generating source code and sending it over a pipe? I prefer not to need an IDE, either, though that's a tad more subjective.
