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)
- Modern development with Java (in London on 15th - 17th July 2019)
- Lightbend Scala Language - Expert (in London on 11th - 13th September 2019)
- Haskell eXchange 2019 (in London on 10th - 11th October 2019)
- Scala eXchange London 2019 (in London on 12th - 13th December 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.
-
SkillsCast
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)
- Modern development with Java (in London on 15th - 17th July 2019)
- Lightbend Scala Language - Expert (in London on 11th - 13th September 2019)
- Haskell eXchange 2019 (in London on 10th - 11th October 2019)
- Scala eXchange London 2019 (in London on 12th - 13th December 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
-
About the Speaker
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.