Presentation
Product types and coproduct types are ubiquitous in functional programming. In fact, it would be pretty challenging to program without them! In this talk, we will consider examples of products and coproducts and then discuss how we can view them as category theory constructs.
We will then generalize our understanding of these types, defining them abstractly in terms of the limit and colimit.
From there, we will explore other examples of limits in functional programming to see what surprises they uncover.
Alissa Pajer began her functional programming career as a Scala engineer at Precog, and now she works in Scala at SlamData. Before her coding days, she studied pure mathematics. She currently lives in Munich, Germany, where she spends her non-computer time hiking, running, swimming, and cycling.