Sure. But I'm yet to see a single language whose GUI tools are more consistent than CLI. Agda and Coq come close, because it's impossible to write either outsid

Sure. But I'm yet to see a single language whose GUI tools are more consistent than CLI. Agda and Coq come close, because it's impossible to write either outside of their main IDE. But they're more of proof assistants, not a general purpose programming languages. Docker is a good idea, actually. Should be easier to set-up than a Linux VM. Still, it's a CLI tool.