Haskell has numerous extensions (Visit https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/ for a comprehensive list of extensions and features), which can be used through {-# LANGUAGE <pragma> #-}. In this chapter, we will be looking at some advanced GHC extensions, and advanced language features such as type-families, rank-n-types, existential types and Generic Algebraic Data Types (GADT). The selection is offered from a usefulness point of view, and it is in no way complete, but it should be representative.
Haskell Cookbook
Haskell Cookbook
Overview of this book
Haskell is a purely functional language that has the great ability to develop large and difficult, but easily maintainable software.
Haskell Cookbook provides recipes that start by illustrating the principles of functional programming in Haskell, and then gradually build up your expertise in creating industrial-strength programs to accomplish any goal. The book covers topics such as Functors, Applicatives, Monads, and Transformers. You will learn various ways to handle state in your application and explore advanced topics such as Generalized Algebraic Data Types, higher kind types, existential types, and type families. The book will discuss the association of lenses with type classes such as Functor, Foldable, and Traversable to help you manage deep data structures.
With the help of the wide selection of examples in this book, you will be able to upgrade your Haskell programming skills and develop scalable software idiomatically.
Table of Contents (13 chapters)
Preface
Free Chapter
Foundations of Haskell
Getting Functional
Defining Data
Working with Functors, Applicatives, and Monads
More about Monads
Working with Common Containers and Strings
Working with Relational and NoSQL Databases
Working with HTML and Templates
Working with Snap Framework
Working with Advanced Haskell
Working with Lens and Prism
Concurrent and Distributed Programming in Haskell
Customer Reviews