Lesson 29. Lists as context: a deeper look at the Applicative type class

After reading lesson 29, you’ll be able to

  • Explain the formal definition of the Applicative type class
  • Represent parameterized types as either containers or contexts
  • Use List as a context to explore nondeterministic computing

In the preceding lesson, you learned how to use the <*> (pronounced app) operator to extend the power of Functor’s <$> (pronounced fmap) operator. In this lesson, you’ll take a closer look at the Applicative type class. You’ll explore the difference between types that represent a container and types that represent a context. You’ll finish by looking at the powerful things you can achieve by using lists as a context.

Consider this ...

Get Get Programming with Haskell now with the O’Reilly learning platform.

O’Reilly members experience live online training, plus books, videos, and digital content from nearly 200 publishers.