He is also known for having introduced “functional pearls” - illuminating presentations of programming ideas. They are not just shorter versions of standard research papers: they may re-present known results, but they had better be “polished, elegant, instructive, entertaining”. Richard’s own writing epitomised them; a colleague called him “the poet laureate of functional programming”.

Richard Bird obituary | Computing | The Guardian