Concurrent ML exists already, with typed synchronous channels, etc., very much like what I've read of Go.

http://en.wikipedia.org/wiki/Concurrent_ML http://www.amazon.com/Concurrent-Programming-ML-John-Reppy/d...