[p_l]

IIRC after Alef went "bust" due to disagreements about GC, its thread semantics got ported to C as libthread, as well as used in Limbo. Then Go kinda resurrected it but with GC?

[pjmlp]

The end of the line from Plan 9, which tends to be ignored, was Inferno, with a GC userspace implemented in Limbo.

Go at its base is a fusion of Limbo and Oberon-2.

[kragen]

Yeah, I should have mentioned Limbo. But it's been so long since I looked at it that I don't remember what its semantics are like.

[pjmlp]

The big difference versus Go, is that Limbo is like Java, in the sense that it favours dynamic linking.

Go nowadays supports dynamic linking, but it isn't the default, the plugin package is quite basic and only supported on Linux and OS X..