[krmboya]

Is it correct to say Golang is bringing Limbo to the masses?

[pjmlp]

Partially, Go still doesn't support a few Limbo features.

However the influence is quite clear, plus the Oberon-2 style methods and SYSTEM package.

[rcarmo]

No, it's bringing Aleph to the masses. Limbo is a cousin, and Dis was certainly very interesting and something I wish had caught on.

[pjmlp]

Aleph lacked GC, which Rob Pike considered the main reason for its implementation failure on Plan 9, and initially bounds checking was also missing.

Two key design difference from Go and its two predecessors.

Dis is an implementation detail, Go could offer the same dynamism with AOT toolchain, as proven by other languages with ahead of time toolchains available.

[9rx]

That might be Rust, actually. They have more in common with thoughts about type systems, built-in constructs, deterministic memory usage, etc.

Limbo looks more like Go on the concurrency front, but that was inherited from Alef/Plan 9. That wasn't what Limbo brought to the table.

[pjmlp]

Limbo uses a garbage collector, though.