Networks and Types -- the Future of Akka with Johan Andrén