November 2015
Intermediate to advanced
166 pages
3h 14m
English
The introduction of
Applicative, along with Foldable and Traversable, have had a big impact on Haskell.
The Foldable and Traversable typeclasses lift the Prelude fold and map functions to a much higher level of abstraction. Moreover, Foldable and Traversable also bring a clean separation between processes that preserve or discard the shape of the structure being processed:
Traversable describes a process that preserves the shape of the data structure being traversed overFoldable discards (or transforms) the shape of the structure being folded overSince Traversable is a specialization of Foldable, we can say that shape preservation is a special case of shape transformation. This line between shape preservation and transformation ...
Read now
Unlock full access