akka reactive typesafe distributed computing session types type checking streams actors concurrency cluster spray angularjs messaging http actor model research design patterns replication scala
See more