ProfHewitt

ActorsTheory serves as the rigorous mathematical foundations of capability systems.

Foundation is about rigorously specifying the general Laws of Locality for Actor systems that CHERI implements.

The Actors Abstraction does not require specification of

computer boundaries.

The Actors Abstraction is foundational for computer science

analogous to the Natural Numbers in classical mathematics.

Probably not a good idea to burden application programmers

with having to annotate each message send with whether the

receiver is on the current computer or another one in a

Citadel.

Since Actors can move between computers in a Citadel, such

annotations are infeasible in practice.

Of course, modularity, security, and performance should not be

ignored.

Probably can't make much progress without a scientific foundation including the Actors Abstraction.

The Actor Paradigm is much more widespread with offerings from Microsoft, Lightbend, etc.

I fondly remember Joe Armstrong, who was a good friend.

However, not having a mathematical foundation has been a

severe limitation for Erlang.

The Erlang community is trying to dig its way out with

modifications and extensions. Still have a long way to go.

Of course, no Actors framework is perfect.

Many important implementations have been done Erlang.

Also, significant Erlang projects are ongoing to good effect.

Erlang has absolutely no security :-(

Also see offerings from Lightbend and Microsoft.