More OCaml

Algorithms, Methods & Diversions

by John Whitington

More OCaml picks up where OCaml from the Very Beginning left off. This intermediate-level book takes you deeper into functional programming with OCaml, exploring key language features and classic algorithms along the way. Each chapter includes exercises, hints, and worked answers to reinforce your understanding. You’ll wrap up by building a complete project that generates PDF files, a practical example that pulls everything together.

Whether you’re already working in OCaml and want to sharpen your skills, or you’re an experienced programmer exploring functional languages, you’ll find something new here, or even see an old idea in a new light.

A copy of OCaml from the Very Beginning is included without charge along with your purchase.

This work was written and produced entirely by the author. We are proud to be distributing it.

When I wrote OCaml from the Very Beginning, the goal was to create a book a bright newcomer to programming could follow without prerequisites. This book builds on the foundation laid in the first, but is written for readers with some experience, either from working through the earlier book or from programming in another functional language like Haskell or Standard ML.

In most real-world projects, you face two kinds of complexity: one kind comes from the problem itself, and the other kind comes from navigating a language’s ecosystem of third-party libraries. This book focuses entirely on the first. Using only the OCaml Standard Library, we’ll explore how to tackle complexity through abstraction.

The book is made up of sixteen short chapters that fall into three broad categories: Some introduce OCaml syntax and features through worked examples; others dig into practical topics like input and output; others take small detours into puzzles and diversions.

You’ll finish by building a complete project: a program that generates PDF files with drawings and text. Every chapter includes exercises with hints and full worked answers

• Source Code (zip file)

Releases:

• P1.0 2025/06/24

• Preface
• Summary of Basic OCaml
• Our Working Environment
• 1. Unravelling “Fold”
• 2. Being Lazy
• 3. Named Tuples with Records
• 4. Generalized Input/Output
• 5. Streams of Bits
• 6. Compressing Data
• 7. Labelled and Optional Arguments
• 8. Formatted Printing
• 9. Searching for Things
• 10. Finding Permutations
• 11. Making Sets
• 12. Playing Games
• 13. Representing Documents
• 14. Writing Documents
• 15. Pretty Pictures
• 16. Adding Text
• Answers to Questions
• Hints for Questions
• Coping with Errors
• Index