What are “sums-and-products” data structures?
What are the traditional sums-and-products data structures he is referring to? In type theory, regular data structures can be described in terms of sums, products and recursive types. This leads to an algebra for describing data structures (and so-called algebraic data types). Such data types are common in statically typed functional languages, such as ML … Read more