Strongly Typed Publish/Subscribe over Websockets via Singleton Types
Please log in to watch this conference skillscast.
Haskell is a language known for its type safety, but just how far can the type system go? In this talk, Oliver will demonstrate how a publish/subscribe protocol implemented over Websockets has grown from using little type information and progressed to well-typed sessions through the use of singleton types.
We'll see how one can get a lot of the benefits of dependent types in Haskell today, and how tools often seen as purely theoretical have very practical applications.
YOU MAY ALSO LIKE:
- GUI Programming in Haskell: Review & Experiences (SkillsCast recorded in October 2015)
- Lightbend Scala Language - Expert (in London on 11th - 13th September 2019)
- Modern development with Java (in London on 9th - 11th December 2019)
- Haskell eXchange 2019 (in London on 10th - 11th October 2019)
- Scala eXchange London 2019 (in London on 12th - 13th December 2019)
- C++ London September (in London on 9th September 2019)
- F#unctional Londoners September (in London on 18th September 2019)
- Lightning Talk: Let’s talk about Types (SkillsCast recorded in April 2019)
- Keynote: Thrilled to have Martin Odersky at ScalaX 2018! (SkillsCast recorded in December 2018)
Thanks to our sponsors
Strongly Typed Publish/Subscribe over Websockets via Singleton Types
Oliver Charles
Oliver first discovered Haskell in late 2011, mostly curious as to what this radically different language was all about. After successfully type-checking his first program, he was hooked by the language's combination of succinctness and expressivity, and fascinated by the rich amount of theory and rigour behind the concepts.
Please log in to watch this conference skillscast.
Haskell is a language known for its type safety, but just how far can the type system go? In this talk, Oliver will demonstrate how a publish/subscribe protocol implemented over Websockets has grown from using little type information and progressed to well-typed sessions through the use of singleton types.
We'll see how one can get a lot of the benefits of dependent types in Haskell today, and how tools often seen as purely theoretical have very practical applications.
YOU MAY ALSO LIKE:
- GUI Programming in Haskell: Review & Experiences (SkillsCast recorded in October 2015)
- Lightbend Scala Language - Expert (in London on 11th - 13th September 2019)
- Modern development with Java (in London on 9th - 11th December 2019)
- Haskell eXchange 2019 (in London on 10th - 11th October 2019)
- Scala eXchange London 2019 (in London on 12th - 13th December 2019)
- C++ London September (in London on 9th September 2019)
- F#unctional Londoners September (in London on 18th September 2019)
- Lightning Talk: Let’s talk about Types (SkillsCast recorded in April 2019)
- Keynote: Thrilled to have Martin Odersky at ScalaX 2018! (SkillsCast recorded in December 2018)
Thanks to our sponsors
Strongly Typed Publish/Subscribe over Websockets via Singleton Types
Oliver Charles
Oliver first discovered Haskell in late 2011, mostly curious as to what this radically different language was all about. After successfully type-checking his first program, he was hooked by the language's combination of succinctness and expressivity, and fascinated by the rich amount of theory and rigour behind the concepts.