Aktoren Systeme, wie in Akka oder Erlang, sind normalerweise untypisiert.
Statische Typsysteme können jedoch viele Fehler schon beim Compilieren finden und sie stellen eine formale immer aktuelle Dokumentation da. Es gibt mehrer Implementierungen und Theorien Actoren Systeme um Typ Systeme zu erweitern. Ein paar davon werde ich in dieser Präsentation kurz vorstellen.