Towards Language Support for Distributed Systems

Explore the intersection of distributed systems and programming languages in this 43-minute conference talk from Strange Loop. Delve into Heather Miller's research on shifting reasoning for two classes of problems into programming languages. Discover how this approach can alleviate common headaches in building and managing distributed systems, such as ensuring invariants between interconnected services. Learn about recent advancements in utilizing Conflict-free Replicated Data Types (CRDTs) for richer computations and composing serverless functions to create more complex operations. Gain insights into potential future developments that could make distributed systems programming more manageable and less error-prone.