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.