Go programs are not fully memory-safe if they use multiple treads, due to possible data races with fat pointers: https://news.ycombinator.com/item?id=44672003

Yes, think of something like Inferno, but Limbo now is AOT compiled instead of JITed.

However there are also kernel like commercial projects in Go, and apparently the related TamaGo fork might eventually get upstreamed into the reference implementation.

https://www.withsecure.com/en/solutions/innovative-security-...