In Chapter 7, you learned the basics of pattern matching, which is used with functions. In this chapter, you’ll learn more about the details of pattern matching.
Basically, pattern matching means matching values with patterns and binding variables with the matches that succeeded.
Let’s take a closer look at the map function
. The type signature and the definition are as follows:
map _ [] = []
map f (x:xs) = f x : map f xs
Here, you can identify four types of patterns
.
f: This pattern matches ...
