Typed Design Patterns for the Functional Era - FUNARCH'23

Explore how design patterns can be adapted for modern functional programming languages in this 44-minute conference talk from FUNARCH'23. Delve into architectural concepts that are self-contained yet cannot be fully represented as language-level abstractions. Examine four concrete examples of functional design patterns: the Witness, the State Machine, the Parallel Lists, and the Registry. Learn how these patterns are implemented in Rust, showcasing how a sophisticated type system can effectively model domain constructs and catch user errors at compile-time. Gain insights into the evolution of design patterns in the context of mainstream functional programming and discover how careful application of typing can enhance code reliability and maintainability.