9 Functionals

9.1 Prerequisites

9.2 My first functional: map()

  1. Q: Use as_mapper() to explore how purrr generates anonymous functions for the integer, character, and list helpers. What helper allows you to extract attributes? Read the documentation to find out.

    A: map() offers multiple ways (functions, formulas and extractor functions) to specify the function argument (.f). Initially, the various inputs have to be transformed into a valid function, which is then applied. The creation of this valid function is the job of as_mapper() and it is called every time map() is used.

    Given character, numeric or list input as_mapper() will create an extractor function. Characters select by name, while numeric input selects by positions and a list allows a mix of these two approaches. This extractor interface can be very useful, when working with nested data.

    The extractor function is implemented as a call to purrr::pluck(), which accepts a list of accessors (accessors “access” some part of your data object).

    Besides mixing positions and names, it is also possible to pass along an accessor function. This is basically an anonymous function, that gets information about some aspect of the input data. You are free to define your own accessor functions.

    If you need to access certain attributes, the helper attr_getter(y) is already predefined and will create the appropriate accessor function for you.

  2. Q: map(1:3, ~ runif(2)) is a useful pattern for generating random numbers, but map(1:3, runif(2)) is not. Why not? Can you explain why it returns the result that it does?

    A: The first pattern creates multiple random numbers, because ~ runif(2) successfully uses the formula interface. Internally map() applies as_mapper() to this formula, which converts ~ runif(2) into an anonymous function. Afterwards runif(2) is applied three times (one time during each iteration), leading to three different pairs of random numbers.

    In the second pattern runif(2) is evaluated once, then the results are passed to map(). Consequently as_mapper() creates an extractor function based on the return values from runif(2) (via pluck()). This leads to three NULLs (pluck()’s .default return), because no values corresponding to the index can be found.

  3. Q: Use the appropriate map() function to:

    1. Compute the standard deviation of every column in a numeric data frame.

    2. Compute the standard deviation of every numeric column in a mixed data frame. (Hint: you’ll need to do it in two steps.)

    3. Compute the number of levels for every factor in a data frame.

    A: To solve this exercise we take advantage of calling the type stable variants of map(), which give us more concise output, and use map_lgl() to select the columns of the data frame (later you’ll learn about keep(), which simplifies this pattern a little).

  4. Q: The following code simulates the performance of a t-test for non-normal data. Extract the p-value from each test, then visualise.

    (NB: there was a typo in the book. It had rpois(7, 10), not rpoise(10, 7).)

    A: There are many ways to visualise this data, but since it’s relatively small, a dot plot allows us to see both the individual values and the overall distribution.

  5. Q: The following code uses a map nested inside another map to apply a function to every element of a nested list. Why does it fail, and what do you need to do to make it work?

    A: This function call fails, because triple() is specified as the .f argument and consequently belongs to the outer map(). The unnamed argument map is treated as an argument of triple(), which causes the error.

    There are a number of ways we could resolve the problem. I don’t think there’s much to choose between them for this simple example, but it’s good to know your options for more complicated cases.

  6. Q: Use map() to fit linear models to the mtcars using the formulas stored in this list:

    A: The data (mtars) is constant for all these models and we iterate over the formulas provided. Because the formula is the first argument of a lm()-call, it doesn’t need to be specified explicitly.

  7. Q: Fit the model mpg ~ disp to each of the bootstrap replicates of mtcars in the list below, then extract the \(R^2\) of the model fit (Hint: you can compute the \(R^2\) with summary())

    A: To accomplish this task, we take advantage of the “list in, list out”-functionality of map(). This allows us to chain multiple transformation together. We start by fitting the models. We then calculate the summaries and extract the \(R^2\) values. For the last call we use map_dbl, which provides convenient output.

9.3 Map variants

  1. Q: Explain the results of modify(mtcars, 1).

    A: modify() is based on map(), and in this case, the extractor interface will be used. It extracts the first element of each column in mtcars. modify() always returns the same structure as its input: in this case it forces the first row to be recycled 32 times. (Internally modify() uses .x[] <- map(.x, .f, ...) for assignment.)

  2. Q: Rewrite the following code to use iwalk() instead of walk2(). What are the advantages and disadvantages?

    A: iwalk() allows us to use a single variable, storing the output path in the names.

    We could do this in a single pipe by taking advantage of set_names():

  3. Q: Explain how the following code transforms a data frame using functions stored in a list.

    Compare and contrast the map2() approach to this map() approach:

    A: In the first approach the list of functions and the appropriately selected data frame columns are supplied to map2(). map2() creates an anonymous function f(var) which applies the functions to the variables when map2() iterates over their (similar) index. On the left hand side the regarding elements of mtcars are being replaced by their new transformations.

    The map() variant does basically the same. However, it directly iterates over the names of the transformations. Therefore, the data frame columns are selected during the iteration.

    Besides the iteration pattern, the approaches differ in the possibilities for appropriate argument naming in the .f argument. In the map2() approach we iterate over the elements of x and y. Therefore, it is possible to choose appropriate placeholders like f and var. This makes the anonymous function more expressive at the cost of making it longer. However, we think using the formula interface here makes for rather cryptic code: mtcars[vars] <- map2(trans, mtcars[vars], ~ .x(.y)).

    In the map() approach we map over the variable names. It is therefore not possible to introduce placeholders for the function and variable names. The formula syntax together with the .x shortcut is pretty compact. The object names and the brackets indicate clearly the application of transformations to specific columns of mtcars. In this case the iteration over the variable names comes in handy, as it highlights the importance of matching between trans and mtcars element names. Together with the replacement form on the left hand side, this lines is relatively easy to inspect. To summarise, in situations where map() and map2() provide solutions for an iteration problem, several points are to consider before deciding for one or the other approach.

  4. Q: What does write.csv() return? i.e. what happens if you use it with map2() instead of walk2()?

    A: write.csv() returns NULL. In the example above we iterated over a list of data frames and file names a named list of NULLs would be returned.

9.4 Predicate Functionals

  1. Q: Why isn’t is.na() a predicate function? What base R function is closest to being a predicate version of is.na()?

    A: is.na() is not a predicate function, because it returns a logical vector the same length as the input, not a single TRUE or FALSE.

    anyNA() is the closest equivalent because it always returns a single TRUE or FALSE if there are any missing values present. You could also imagine an allNA() which would return TRUE if all values were missing, but that’s considerably less useful so base R does not provide it.

  2. Q: simple_reduce() has a problem when x is length 0 or length 1. Describe the source of the problem and how you might go about fixing it.

    A: The loop inside simple_reduce() always starts with the index 2, and seq() can count both up and down:

    Therefore, subsetting length-0 and length-1 vectors via [[ will lead to a subscript out of bounds error. To avoid this, we allow simple_reduce() to return() before the for-loop is started and include default argument for 0-length vectors.

    Our new new simple_reduce() now works as intended:

  3. Q: Implement the span() function from Haskell: given a list x and a predicate function f, span(x, f) returns the location of the longest sequential run of elements where the predicate is true. (Hint: you might find rle() helpful.)

    A: Our span_r() function returns the indices of the (first occuring) longest sequential run of elements where the predicate is true. If the predicate is never true, the longest run has length 0, so we return integer().

  4. Q: Implement arg_max(). It should take a function and a vector of inputs, and return the elements of the input where the function returns the highest value. For example, arg_max(-10:5, function(x) x ^ 2) should return -10. arg_max(-5:5, function(x) x ^ 2) should return c(-5, 5). Also implement the matching arg_min() function.

    A: Both functions take a vector of inputs and a function as an argument. The functions output are then used to subset the input accordingly.

  5. Q: The function below scales a vector so it falls in the range [0, 1]. How would you apply it to every column of a data frame? How would you apply it to every numeric column in a data frame?

    A: To apply a function to every function of a data frame, we can use purrr::modify, which also conveniently returns a data frame. To limit the application to numeric columns, the scoped versions modify_if() can be used.

9.5 Base functionals

  1. Q: How does apply() arrange the output? Read the documentation and perform some experiments.

    A: Basically apply() applies a function over the margins of an array. In the two dimensional case, the margins are just the rows and columns of a matrix. Let’s make this concrete.

    When we apply the head() function over the first margin of arr2() (i.e. the rows), the results are contained in the columns of the output, transposing the array compared to the original input.

    And vice versa if we apply over the second margin (the columns):

    The output of apply() is organised first by the margins being operated over, then the results of the function. This can become quite confusing for higher dimensional arrays.

  2. Q: What do eapply() and rapply() do? Does purrr have equivalents?

    A: eapply() is a variant of lapply(), which iterates over the (named) elements of an environment. In purrr there is no equivalent for eapply() as purrr mainly provides functions that operate on vectors and functions, but not on environments.

    rapply() applies a function to all elements of a list recursively. This function makes it possible to limit the application of the function to specified classes (default classes = ANY). One may also specify how elements of other classes should remain: i.e. as their identity (how = replace) or another value (deflt = NULL). The closest equivalent in purrr is modify_depth(), which allows you to modify elements at a specified depth in a nested list.

  3. Q: Challenge: read about the fixed point algorithm. Complete the exercises using R.

    A: A number \(x\) is called a fixed point of a function \(f\) if it satisfies the equation \(f(x) = x\). For some functions we may find a fixed point by beginning with a starting value and applying \(f\) repeatedly. Here fixed_point() acts as a functional, because it takes a function as an argument.