4 ms·
Just to add, Go was inspired by Hoare's CSP paper [1]. Hoare came up with the ideas of CSP separately from Milner [2] even though they have some cross over con
by cogman10 2y ago
Just to add, Go was inspired by Hoare's CSP paper [1]. Hoare came up with the ideas of CSP separately from Milner [2] even though they have some cross over concepts. The two collaborated later on, but really had somewhat independent approaches to concurrency.
To respond to the OP. Go's concurrency model absolutely has multiple blogs written about it and explaining how it works. It's actually a little funny OP was thinking Go was based on pi calculus when it was actually based on CSP. That goes to my original disagreement. Good features need explanation and they don't become "bad" just because they require blog posts.
[1] https://go.dev/blog/codelab-share https://go.dev/blog/codelab-share
[2] https://en.wikipedia.org/wiki/Actor_model_and_process_calculi_history https://en.wikipedia.org/wiki/Actor_model_and_process_calcul...
- adastra22 2y agoThey're equivalent: https://www.cs.ox.ac.uk/files/2340/hoarecomplete2.pdf https://www.cs.ox.ac.uk/files/2340/hoarecomplete2.pdf