Haskell Brain Teasers

Exercise Your Mind

by Rebecca Skinner

Challenge and exercise your functional programming knowledge by tackling these 20 fun, funky, and functional puzzles on Haskell programming topics such as lazy evaluation, Haskell syntax, type classes, the type system, and popular libraries. Gain new insight into why Haskell is the way it is. Build mind-bending self-referential and circular data structures, unpick the seams of reality with unsafePerformIO, build enhanced DSLs with QualifiedDo, and roll back time with STM. Review or get introduced to Haskell’s common quirks such as the unary minus and pattern guards while mastering newer language features up to GHC 9.12, including linear arrows and Or Patterns.

Employ powerful techniques and recognize common pitfalls as you solve fiendish Haskell puzzles across five different topic areas.

Don’t sleep on the lazy evaluation puzzles: they’ll challenge you to predict the behavior of programs that rely on laziness in unexpected ways. Think syntax and language extensions puzzles should be easy? Think again as you deal with the perversity of the unary minus operator, and puzzles based on new extensions such as QualifiedDo. Prepare to be perplexed with Type Class puzzles on ad hoc polymorphism, deriving strategies, and record fields. Want more? Try mixing classic ambiguous type puzzles with advanced new features like linear types. Want to read and debug more esoteric code and exotic language features? Then take on the Libraries puzzles, designed to challenge beginner and advanced readers as you peer into lenses, step into STM, and test the limits of your understanding with the singletons library.

After trying your hand at each puzzle, read through the solution to get more insight into key Haskell features, and use the references to build a reading list to dive deeper into new areas of the language.

What You Need

Resources

• Errata, typos, suggestions

• Source Code (zip file)

Releases:

Contents & Extracts

Note: Contents and extracts of beta books will change as the book is developed.

Table of Contents

• Lazy Evaluation
  • Looking for a Needle in a Stack of Infinities
    • Discussion
    • Further Reading
  • Haskell for Very Full Stack Developers
    • Discussion
    • Further Reading
  • Say Cheese
    • Discussion
    • Further Reading
  • Diving Head First into a Bottomless Pit
    • Discussion
    • Further Reading
  • The Least You Can Possibly Do
    • Discussion
    • Further Reading
  • Do You Even Lift?
    • Discussion
    • Further Reading
• Syntax and Language Extensions
  • Oh Em Dash
    • Discussion
    • Further Reading
  • Playing with Matches
    • Discussion
    • Further Reading
  • Many Roads, One Destination
    • Discussion
    • Further Reading
  • A View of the Future
    • Discussion
    • Further Reading
  • FQDN - Fully Qualified Do Notation
    • Discussion
    • Further Reading
• Type Classes
  • Traversing Tuples
    • Discussion
    • Further Reading
  • A Slightly Off-White Hat
    • Discussion
    • Further Reading
  • If At First You Don’t Succeed, Trie, Trie Again
    • Discussion
    • Further Reading
  • A Nice Recipe for Soup
    • Discussion
    • Further Reading
  • Field Theory
    • Discussion
• The Type System
  • Round Trip Tickets
    • Discussion
    • Further Reading
  • A Grand Un-Unified Theory
    • Discussion
    • Further Reading
  • Non-Functional Dependencies
    • Discussion
    • Further Reading
  • Time Flies Like an Arrow

Author