Typed actors?

[Pireax]

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.

[yenwel]

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.