Choreographing Distributed Systems: A Functional Approach - Paweł Szulc | Lambda Days 2025

✨ This talk was recorded at Lambda Days in June 2025. If you're curious about our upcoming event, check https://lambdadays.org ✨ Choreographing Distributed Systems: A Functional Approach Distributed systems are hard. Ensuring correctness while managing communication, concurrency, and coordination can feel like orchestrating a chaotic dance of independent processes. But what if we could choreograph our distributed programs? Choreographic Programming is a paradigm that allows us to specify the global behaviour of a system from a high-level perspective, letting the implementation of individual participants emerge correctly by construction. This talk will introduce the core ideas of Choreographic Programming and explore how it fits naturally into the world of Functional Programming. Whether you're a functional programmer exploring distributed systems or an engineer seeking better abstractions, this talk will challenge your perspective and keep you engaged with exciting new ideas. Let's keep in touch! Follow us on: 💥BlueSky: https://bsky.app/profile/lambdadays.b... 💥LinkedIn:   / lambda-days   💥Facebook:   / lambdadays   💥Mastodon: https://genserver.social/codesync 💥Twitter:   / lambdadays