Abstract data types are an essential tool in a programmer's toolkit, but finding a data structure to fit them can be challenging. This is especially so for graphs, which can have complex constraints that are difficult to encode using conventional data structures.

Join Zainab in the search for a functional, typesafe graph. Together, you will explore different graph representations, and discover how types can help you encode constraints. Using dependent types, you will construct a graph that you can prove satisfies its abstract data type.

YOU MAY ALSO LIKE: