New Skill Forged: Pearls of Functional Algorithm Design

New Skill Forged

Pearls of Functional Algorithm Design by Richard Bird. 280 pages.

30 algorithm ‘pearls’ derived from specifications using equational reasoning in Haskell. Bird demonstrates that efficiency emerges from algebraic manipulation of a correct-but-naive specification — no separate proofs needed.

What this skill teaches Claude to do:

• Derive efficient algorithms from clear specifications using equational reasoning
• Apply fold/map fusion laws to eliminate intermediate data structures
• Apply scan lemma to convert O(n²) fold-of-map to O(n) scan
• …and 5 more

Browse the full skill at /skills/pearls-functional-algorithm-design

---

Forged from 4,939 books. Auto-generated by the Skill Forge pipeline.