Please log in to watch this conference skillscast.
This talk presents a principled approach to specifying and implementing simple application-level communication protocols. It is a lightweight form of session types: by specifying protocols via state machines and encoding them into types we can guarantee the protocols are free from deadlock and that well-typed protocol implementations respect the protocol specification. A special feature of this approach is the support for protocol pipelining, which enables effective use of network bandwidth in the presence of latency.
The talk will also touch on practical aspects such as testing using simulation, and where this approach has been used in real applications.
YOU MAY ALSO LIKE:
- Scaling Application State Beyond Memory: A Functional Approach (SkillsCast recorded in November 2021)
- Haskell: Why and How the External STG Interpreter is Useful (Online Meetup on 2nd December 2021)
- Keynote — Haskell: What To Do When Success Can't Be Avoided (SkillsCast recorded in November 2021)
- Designing and Verifying Programs with Formal Specification (SkillsCast recorded in November 2021)
Well-Typed Communication Protocols
Duncan has more than twenty years programming experience with Haskell in academia and industry. He is a well known member of the Haskell community and is a founding partner of the Haskell consultancy Well-Typed.