Curated developer articles, tutorials, and guides � auto-updated hourly


Online accumulators are monoids. Default construction is the identity, combination via += is the bin...


The free monoid on a set is the type of lists over that set. The universal property says fold is the...


A homomorphism preserves structure. fold is the universal homomorphism from the free monoid. This is...


A reflection on eleven explorations in generic programming, and how algorithms arise from algebraic ...


The Russian peasant algorithm computes products, powers, Fibonacci numbers, and more, once you see t...