Categories for Programmers. Previously Products and Coproducts. See the Table of Contents. We’ve seen two basic ways of combining types: using a product and a coproduct. It turns out that a lot of data structures in everyday programming can be built using just these two mechanisms. This fact has important practical consequences. Many properties of […]![]()
