Comment by arianvanp

But go doesn't provide channels in the CSP way nor does it do any model checking on it right?

Like one thing it already gets wrong is that you can send mutable pointers around without clear ownership.