Luke Gorrie luke@bluetail.com writes:
How does that sound?
Well, I feel rather unqualified to comment about threading issues. You Erlang guys probably know how to these things.
I think multi-threading support should "feel" like job-control in a shell. Usually you only interact with the foreground thread. There should be the possibility to interrupt the foreground thread if it is busy, to place it in the background, and to switch to another thread. Only the foreground thread should be allowed to pop up buffers and to read from the REPL. The output can probably be mixed and just be inserted in the output buffer.
But, that's probably similar to your ideas.
Helmut.