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: