Let’s Talk Concurrency: Panel with Sir Tony Hoare, Joe Armstrong, Carl Hewitt

Re:Let’s Talk Concurrency: Panel with Sir Tony Hoare, Joe Ar... by bjoli on Wednesday February 20, 2019 @11:36AM (#19209267)

I have a long time been a evangelising concurrent ml. It generalises the actor model, and for me it has always hit the sweet spot between "do everything yourself" and "one inflexible way or the highway".

[ Parent | on HN ]

Re:Let’s Talk Concurrency: Panel with Sir Tony Hoare, Joe Ar... by zzzcpan on Wednesday February 20, 2019 @11:49AM (#19209390)

IIRC, it tries to "generalize" CSP, or rather just make it usable, because it isn't in its default form at all. CSP is not as general as actor model. But you can't generalize actor model into a more general concurrency model, unbounded nondeterminism is as far as we can go.

[ Parent | on HN ]

Re:Let’s Talk Concurrency: Panel with Sir Tony Hoare, Joe Ar... by carlehewitt on Wednesday February 20, 2019 @01:11PM (#19210297)

Actually, the Actor Model generalizes Concurrent ML because message and types are Actors.

For example, if anAccount:Account then the following

     anAccount.deposit[$5]

is defined as follows:

     Account.send[anAccount. deposit[$5]

[ Parent | on HN ]