Parametric Programming in R

John Mount


Consider the problem of “parametric programming.” That is: simply writing correct code before knowing some details, such as the names of the columns your procedure will have to be applied to in the future.

Suppose, for example, your task was to and build a new advisory column that tells you which values in a column of a data.frame are missing or NA. We will illustrate this in R using the example data given below:

d <- data.frame(x = c(1, NA))
 #     x
 #  1  1
 #  2 NA

Performing an ad hoc analysis is trivial in R: we would just directly write:

d$x_isNA <-$x)

We used the fact that we are looking at the data interactively to note the only column is “x”, and then picked “x_isNA” as our result name. If we want to use dplyr the notation remains straightforward:

 #  [1] '0.7.4'

mutate(d, x_isNA =
 #     x x_isNA
 #  1  1  FALSE
 #  2 NA   TRUE

Now suppose, as is common in actual data science and data wrangling work, we are not the ones picking the column names. Instead suppose we are trying to produce reusable code to perform this task again and again on many data sets. In that case we would then expect the column names to be given to us as values inside other variables (i.e., as parameters).

cname <- "x"                            # column we are examining
rname <- paste(cname, "isNA", sep= '_') # where to land results
 #  [1] "x_isNA"

And writing the matching code is again trivial:

d[[rname]] <-[[cname]])

We are now programming at a slightly higher level, or automating tasks. We don’t need to type in new code each time a new data set with a different column name comes in. It is now easy to write a for-loop or lapply over a list of columns to analyze many columns in a single data set. It is an absolute travesty when something that is purely virtual (such as formulas and data) can not be automated over. So the slightly clunkier “[[]]” notation (which can be automated) is a necessary complement to the more convenient “$” notation (which is too specific to be easily automated over).

Using dplyr directly (when you know all the names) is deliberately straightforward, but programming over dplyr (as of May 12, 2017, prior to dplyr 0.6* and the conversion to rlang/tidyeval interfaces) can become a challenge.

Standard practice

The standard parametric dplyr practice is to use dplyr::mutate_ (the standard evaluation or parametric variation of dplyr::mutate). Unfortunately the notation in using such an “underbar form” is currently cumbersome.

You have the choice building up your formula through variations of one of:

(source: dplyr Non-standard evaluation vignette “nse”, for additional theory and upcoming official solutions please see here).

Let us try a few of these to try and emphasize we are proposing a new solution, not because we do not know of the current solutions, but instead because we are familiar with the current solutions.

Our advice

Our advice is to give wrapr::let a try. wrapr::let takes a name mapping list (called “alias”) and a code-block (called “expr”). The code-block is re-written so that names in expr appearing on the left hand sides of the alias map are replaced with names appearing on the right hand side of the alias map.

The code looks like this:

# wrapr::let solution
wrapr::let(alias = list(cname = cname, rname = rname),
            expr  = {
              mutate(d, rname =
 #     x x_isNA
 #  1  1  FALSE
 #  2 NA   TRUE

Notice we are able to use dplyr::mutate instead of needing to invoke dplyr::mutate_. The expression block can be arbitrarily long and contain deep pipelines. We now have a useful separation of concerns, the mapping code is a wrapper completely outside of the user pipeline (the two are no longer commingled). For complicated tasks the ratio of wrapr::let boilerplate to actual useful work goes down quickly.

The alias map is deliberately only allowed to be a string to string map (no environments,, formula, expressions, or values) so wrapr::let itself is easy to use in automation or program over. I’ll repeat that for emphasis: externally wrapr::let is completely controllable through standard (or parametric) evaluation interfaces. Also notice the code we wrote is never directly mentions “x” or “x_isNA” as it pulls these names out of its execution environment.

All of these solutions have consequences and corner cases. Our (biased) opinion is: we dislike wrapr::let the least.

More reading

Our group has been writing a lot on wrapr::let. It is new code, yet something we think analysts should try. Some of our recent notes include: