Explore the intricacies of distributed programming and type-safe actor systems in this 45-minute conference talk from Scala Days Copenhagen 2017. Delve into the challenges of ensuring correct behavior in loosely coupled message-based systems and discover innovative approaches to overcome these obstacles. Learn how parameterized ActorRefs in Akka Typed, combined with effect tracking techniques, can enhance compile-time guarantees for distributed systems. Follow along as the speaker demonstrates these principles using a simple payment system, covering topics such as the Akka Typed Receptionist API, protocol definitions, and effect tracking. Gain insights into creating more robust and reliable distributed applications while reducing the need for extensive test suites and mitigating timing-dependent non-determinism.
Overview
Syllabus
Intro
The book is out!
Akka Typed Receptionist API
with Unregister support
Cluster Receptionist
Messages for a payment system
Akka Typed crash course
First actor: do the audit
Second actor, do the payment
Third actor: orchestration of the process
Which steps shall be done?
Akka Typed Session: protocol definition
First process: do the audit
Second process: do the payment
Third process: orchestrate and verify
Effect tracking
List of effects
Sequencing actions
and there are loops as well
Taught by
Scala Days Conferences
