Pitch: Protocol-based Actor Isolation

Evolution Pitches
80

I don't recall hearing about E so I don't think so. I thought I encountered this idea in a talk given by Carl Hewitt but haven't been able to find a reference so that may not be correct. In any case, it does look like E incorporates this concept roughly as I understand it.

I think global actors in the currently proposed design get us close, but would like for them to be better incorporated into the type system. There is a subthread in the discussion of the main actor proposal where I show how that could be done and how it might be used. Relevant posts are:

This subthread died without any clear resolution. If you're interested in this topic maybe we should continue over there?

1 Like