Combinator pattern
Jump to navigation
Jump to search
Libraries such as Parsec use the combinator pattern, where complex structures are built by defining a small set of very simple 'primitives', and a set of 'combinators' for combining them into more complicated structures. It's somewhat similar to the Composition pattern found in object-oriented programming.
In the case of the Parsec, the library provides a set of extremely simple (almost trivial) parsers, and ways to combine small parsers into bigger parsers. Many other libraries and programs use the same ideas to build other structures:
- Parsec builds parsers out of smaller parsers.
- The School of Expression (SOE) graphics library builds pictures out of individual shapes.
- The SOE book also mentions a library to build music out of individual notes and rests.
- Another textbook describes building financial contracts.
- [Software transactional memory] builds big transactions out of smaller ones.
- The Haskell IO system itself builds whole programs out of small I/O actions using
>>=
andreturn
.