Slide 12 of 41
Notes:
Our calculus is based on monoids from abstract algebra. A monoid is an algebraic structure that captures most collection and aggregate types. Formally, a monoid is a pair of an associative function, called the merge function, and a value, which is the left and right identity of the merge function. A collection type, such as a set, requires an additional function, called the monoid unit, that constructs singleton values.
