[pinkythepig]

Your list of 3 is filled by Haskell, have you looked into the concurrency options available? If not, there is a good book that you can read online: http://chimera.labs.oreilly.com/books/1230000000929/index.ht...

I can't really imagine there being an easier way to have concurrency unless it were to be something inherently built into the language (which would cause all sorts of other issues).

As one example from that book: http://chimera.labs.oreilly.com/books/1230000000929/ch03.htm...

In that example, you initially build the program as a single threaded application and can validate that it's behavior is correct. Once you know that it is, you can literally 'bolt on' concurrency without changing the result of the computation.

Reading the whole book is extremely eye opening on what sorts of strategies are available.