[erlang-questions] Reactors, Channels and Event Streams for Composable Distributed Programming

[Jesper Louis Andersen]

On Fri, Jul 15, 2016 at 10:51 PM, Onorio Catenacci <Catenacci@REDACTED>
wrote:

> Your comments are certainly illuminating for someone like myself who
> doesn't know the various details of Erlang's messaging model as deeply as
> you do.


Another quite interesting concurrency model is STM from Haskell. It also
supports composition of atomic operations. That model, at a lower
expression level can be found in the "reagents" idea[0], which is probably
becoming the basic concurrency model of multi-core OCaml. It is an exiting
time to be interested in concurrency for sure.

In some way, the Erlang model is the Ur-model of everything. It is the
simplest model you can build over an unreliable network at the base.
Everything else has to "factor through" the Erlang model, but may provide
for a nicer system on top. In other ways it is not the Ur-model. I regard
the fact you can't compose receive-expressions as a mistake for instance.
It would require us to have receive patterns as first-class.

[0] http://kcsrk.info/ocaml/multicore/2016/06/11/lock-free/


-- 
J.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20160716/50249d64/attachment.htm>