Depending on the day I will either dream of a language specifically designed with a particular IDE in mind and all the cool stuff you could do with that as a gr

Depending on the day I will either dream of a language specifically designed with a particular IDE in mind and all the cool stuff you could do with that as a ground up assumption (google f# type providers for some inspiration), other days I dream of a language whose design specifically does not require an IDE, so you can easily understand the code from github or vim or anywhere. For instance global or function wide type inference is handy but can make non IDE use of a language really hard because you can’t immediately see what the types are. Perhaps the general design principle should be to tend towards one extreme or the other, rather than end up with a language that needs an IDE but doesn’t leverage it fully.