Have a personal or library account? Click to login
Haskell Design Patterns Cover

Haskell Design Patterns

Take your Haskell and functional programming skills to the next level by exploring new idioms and design patterns

Paid access
|Nov 2015
Product purchase options

Take your Haskell and functional programming skills to the next level by exploring new idioms and design patterns

Key Features

  • Explore Haskell on a higher level through idioms and patterns
  • Get an in-depth look into the three strongholds of Haskell: higher-order functions, the Type system, and Lazy evaluation
  • Expand your understanding of Haskell and functional programming, one line of executable code at a time

Book Description

Design patterns and idioms can widen our perspective by
showing us where to look, what to look at, and ultimately
how to see what we are looking at. At their best, patterns
are a shorthand method of communicating better ways
to code (writing less, more maintainable, and more
efficient code)

This book starts with Haskell 98 and through the lens of
patterns and idioms investigates the key advances and
programming styles that together make "modern Haskell".
Your journey begins with the three pillars of Haskell.
Then you'll experience the problem with Lazy I/O, together
with a solution. You'll also trace the hierarchy formed
by Functor, Applicative, Arrow, and Monad. Next you'll
explore how Fold and Map are generalized by Foldable
and Traversable, which in turn is unified in a broader
context by functional Lenses. You'll delve more deeply into
the Type system, which will prepare you for an overview
of Generic programming. In conclusion you go to the
edge of Haskell by investigating the Kind system and
how this relates to Dependently-typed programming

What you will learn

  • Understand the relationship between the “Gang of Four” OOP Design Patterns and Haskell.
  • Try out three ways of Streaming I/O: imperative, Lazy, and Iteratee based.
  • Explore the pervasive pattern of Composition: from function composition through to high-level composition with Lenses.
  • Synthesize Functor, Applicative, Arrow and Monad in a single conceptual framework.
  • Follow the grand arc of Fold and Map on lists all the way to their culmination in Lenses and Generic Programming.
  • Get a taste of Type-level programming in Haskell and how this relates to dependently-typed programming.
  • Retrace the evolution, one key language extension at a time, of the Haskell Type and Kind systems.
  • Place the elements of modern Haskell in a historical framework.

Who this book is for

If you’re a Haskell programmer with a firm grasp of the basics and ready to move more deeply into modern idiomatic Haskell programming, then this book is for you.

Table of Contents

  1. Functional Patterns: the Building Blocks
  2. Patterns for I/O
  3. Patterns for Composition
  4. Patterns of Folding and Traversing
  5. Patterns of Type Abstraction
  6. Patterns of Generic Programming
  7. Patterns of Kind Abstraction
PDF ISBN: 978-1-78398-873-0
Publisher: Packt Publishing Limited
Copyright owner: © 2015 Packt Publishing Limited
Publication date: 2015
Language: English
Pages: 166