It would be a different direction than what you've done so far, but I'd love to see what you could do for statically typed languages. I'm thinking less about repls and evaluation and more about supercharged autocomplete and refactoring tools.
I know this is already done in any number of big enterprisey IDEs, but you would surely take a fresh and creative approach.
There is no reason static languages can't support REPLs and evaluation. All of my live orgiramming work so far has involved rich static typing, though I admit more implicit typing would make the experience better....
I know this is already done in any number of big enterprisey IDEs, but you would surely take a fresh and creative approach.
Go would be a perfect test candidate.