Post #788
419
oleg_log Does earlier Erlang Concurrency model stem from CSP? А отвечает уважаемый Джо Армстронг https://elixirforum.com/t/does-earlier-erlang-concurrency-model-stem-from-csp/16905/5
"Seems like there is a dichotomy - system building is a trade off between what we can build and what we can prove. We can build systems whoes properties we cannot prove - and we can prove properties about systems that we cannot build". *Плачет на программистском*