Getting Data Structures Right with GADTs and nested types

Please log in to watch this conference skillscast.

Learn about GADTs and nested data types, and how you can use them to encode structural invariants in your Haskell types. You’ll also gain some insight into the inner workings of efficient functional data structures.

In the talk, I’ll show a B-tree, using a GADT to maintain balance. We’ll see that types not only guard against errors, but help us find the right implementation.

YOU MAY ALSO LIKE:

• Kiama: Domain-Specific Languages for Language Implementation in Scala (SkillsCast recorded in May 2013)
• Category Theory and Life (SkillsCast recorded in May 2018)
• Signature inference for functional property discovery (SkillsCast recorded in May 2018)