Typed actors?

Open Pireax opened this issue 9 years ago • 1 comments

Would it be possible to implement typed actors? I made a small example https://gist.github.com/Pireax/9e65b9188a188e2a35051c2708b837ed, this ignores the whole mailbox, threading, etc so it isn't an exact match but is it possible to implement such a thing? It would allow for safer code.

Nov 10 '16 12:11 Pireax

Typed artors are essentially channels I think http://doc.akka.io/docs/akka/2.3-M2/scala/typed-channels.html Just use channels... Hopefully soon we'll have a concurrency theory that unites pi calculus and the actor model.

Jan 12 '17 10:01 yenwel