799 lines
30 KiB
Plaintext
799 lines
30 KiB
Plaintext
# Functions
|
|
|
|
## Introduction
|
|
|
|
One of the best ways to improve your reach as a data scientist is to write functions. Functions allow you to automate common tasks in a more powerful and general way than copy-and-pasting. Writing a function has three big advantages over using copy-and-paste:
|
|
|
|
1. You can give a function an evocative name that makes your code easier to
|
|
understand.
|
|
|
|
1. As requirements change, you only need to update code in one place, instead
|
|
of many.
|
|
|
|
1. You eliminate the chance of making incidental mistakes when you copy and
|
|
paste (i.e. updating a variable name in one place, but not in another).
|
|
|
|
Writing good functions is a lifetime journey. Even after using R for many years I still learn new techniques and better ways of approaching old problems. The goal of this chapter is not to teach you every esoteric detail of functions but to get you started with some pragmatic advice that you can apply immediately.
|
|
|
|
As well as practical advice for writing functions, this chapter also gives you some suggestions for how to style your code. Good code style is like correct punctuation. Youcanmanagewithoutit, but it sure makes things easier to read! As with styles of punctuation, there are many possible variations. Here we present the style we use in our code, but the most important thing is to be consistent.
|
|
|
|
### Prerequisites
|
|
|
|
The focus of this chapter is on writing functions in base R, so you won't need any extra packages.
|
|
|
|
## When should you write a function?
|
|
|
|
You should consider writing a function whenever you've copied and pasted a block of code more than twice (i.e. you now have three copies of the same code). For example, take a look at this code. What does it do?
|
|
|
|
```{r}
|
|
df <- tibble::tibble(
|
|
a = rnorm(10),
|
|
b = rnorm(10),
|
|
c = rnorm(10),
|
|
d = rnorm(10)
|
|
)
|
|
|
|
df$a <- (df$a - min(df$a, na.rm = TRUE)) /
|
|
(max(df$a, na.rm = TRUE) - min(df$a, na.rm = TRUE))
|
|
df$b <- (df$b - min(df$b, na.rm = TRUE)) /
|
|
(max(df$b, na.rm = TRUE) - min(df$a, na.rm = TRUE))
|
|
df$c <- (df$c - min(df$c, na.rm = TRUE)) /
|
|
(max(df$c, na.rm = TRUE) - min(df$c, na.rm = TRUE))
|
|
df$d <- (df$d - min(df$d, na.rm = TRUE)) /
|
|
(max(df$d, na.rm = TRUE) - min(df$d, na.rm = TRUE))
|
|
```
|
|
|
|
You might be able to puzzle out that this rescales each column to have a range from 0 to 1. But did you spot the mistake? I made an error when copying-and-pasting the code for `df$b`: I forgot to change an `a` to a `b`. Extracting repeated code out into a function is a good idea because it prevents you from making this type of mistake.
|
|
|
|
To write a function you need to first analyse the code. How many inputs does it have?
|
|
|
|
```{r, eval = FALSE}
|
|
(df$a - min(df$a, na.rm = TRUE)) /
|
|
(max(df$a, na.rm = TRUE) - min(df$a, na.rm = TRUE))
|
|
```
|
|
|
|
This code only has one input: `df$a`. (If you're surprised that `TRUE` is not an input, you can explore why in the exercise below.) To make the inputs more clear, it's a good idea to rewrite the code using temporary variables with general names. Here this code only requires a single numeric vector, so I'll call it `x`:
|
|
|
|
```{r}
|
|
x <- df$a
|
|
(x - min(x, na.rm = TRUE)) / (max(x, na.rm = TRUE) - min(x, na.rm = TRUE))
|
|
```
|
|
|
|
There is some duplication in this code. We're computing the range of the data three times, but it makes sense to do it in one step:
|
|
|
|
```{r}
|
|
rng <- range(x, na.rm = TRUE)
|
|
(x - rng[1]) / (rng[2] - rng[1])
|
|
```
|
|
|
|
Pulling out intermediate calculations into named variables is a good practice because it makes it more clear what the code is doing. Now that I've simplified the code, and checked that it still works, I can turn it into a function:
|
|
|
|
```{r}
|
|
rescale01 <- function(x) {
|
|
rng <- range(x, na.rm = TRUE)
|
|
(x - rng[1]) / (rng[2] - rng[1])
|
|
}
|
|
rescale01(c(0, 5, 10))
|
|
```
|
|
|
|
There are three key steps to creating a new function:
|
|
|
|
1. You need to pick a __name__ for the function. Here I've used `rescale01`
|
|
because this function rescales a vector to lie between 0 and 1.
|
|
|
|
1. You list the inputs, or __arguments__, to the function inside `function`.
|
|
Here we have just one argument. If we had more the call would look like
|
|
`function(x, y, z)`.
|
|
|
|
1. You place the code you have developed in __body__ of the function, a
|
|
`{` block that immediately follows `function(...)`.
|
|
|
|
Note the overall process: I only made the function after I'd figured out how to make it work with a simple input. It's easier to start with working code and turn it into a function; it's harder to create a function and then try to make it work.
|
|
|
|
At this point it's a good idea to check your function with a few different inputs:
|
|
|
|
```{r}
|
|
rescale01(c(-10, 0, 10))
|
|
rescale01(c(1, 2, 3, NA, 5))
|
|
```
|
|
|
|
As you write more and more functions you'll eventually want to convert these informal, interactive tests into formal, automated tests. That process is called unit testing. Unfortunately, it's beyond the scope of this book, but you can learn about it in <http://r-pkgs.had.co.nz/tests.html>.
|
|
|
|
We can simplify the original example now that we have a function:
|
|
|
|
```{r}
|
|
df$a <- rescale01(df$a)
|
|
df$b <- rescale01(df$b)
|
|
df$c <- rescale01(df$c)
|
|
df$d <- rescale01(df$d)
|
|
```
|
|
|
|
Compared to the original, this code is easier to understand and we've eliminated one class of copy-and-paste errors. There is still quite a bit of duplication since we're doing the same thing to multiple columns. We'll learn how to eliminate that duplication in [iteration], once you've learned more about R's data structures in [vectors].
|
|
|
|
Another advantage of functions is that if our requirements change, we only need to make the change in one place. For example, we might discover that some of our variables include infinite values, and `rescale01()` fails:
|
|
|
|
```{r}
|
|
x <- c(1:10, Inf)
|
|
rescale01(x)
|
|
```
|
|
|
|
Because we've extracted the code into a function, we only need to make the fix in one place:
|
|
|
|
```{r}
|
|
rescale01 <- function(x) {
|
|
rng <- range(x, na.rm = TRUE, finite = TRUE)
|
|
(x - rng[1]) / (rng[2] - rng[1])
|
|
}
|
|
rescale01(x)
|
|
```
|
|
|
|
This is an important part of the "do not repeat yourself" (or DRY) principle. The more repetition you have in your code, the more places you need to remember to update when things change (and they always do!), and the more likely you are to create bugs over time.
|
|
|
|
### Practice
|
|
|
|
1. Why is `TRUE` not a parameter to `rescale01()`? What would happen if
|
|
`x` contained a single missing value, and `na.rm` was `FALSE`?
|
|
|
|
1. In the second variant of `rescale01()`, infinite values are left
|
|
unchanged. Rewrite `rescale01()` so that `-Inf` is mapped to 0, and
|
|
`Inf` is mapped to 1.
|
|
|
|
1. Practice turning the following code snippets into functions. Think about
|
|
what each function does. What would you call it? How many arguments does it
|
|
need? Can you rewrite it to be more expressive or less duplicative?
|
|
|
|
```{r, eval = FALSE}
|
|
mean(is.na(x))
|
|
|
|
x / sum(x, na.rm = TRUE)
|
|
|
|
sd(x, na.rm = TRUE) / mean(x, na.rm = TRUE)
|
|
```
|
|
|
|
1. Follow <http://nicercode.github.io/intro/writing-functions.html> to
|
|
write your own functions to compute the variance and skew of a numeric
|
|
vector.
|
|
|
|
1. Implement a `fizzbuzz` function. It takes a single number as input. If
|
|
the number is divisible by three, it returns "fizz". If it's divisible by
|
|
five it returns "buzz". If it's divisible by three and five, it returns
|
|
"fizzbuzz". Otherwise, it returns the number. Make sure you first write
|
|
working code before you create the function.
|
|
|
|
1. Write `both_na()`, a function that takes two vectors of the same length
|
|
and returns the number of positions that have an `NA` in both vectors.
|
|
|
|
1. What do the following functions do? Why are they useful even though they
|
|
are so short?
|
|
|
|
```{r}
|
|
is_directory <- function(x) file.info(x)$isdir
|
|
is_readable <- function(x) file.access(x, 4) == 0
|
|
```
|
|
|
|
1. Read the [complete lyrics](https://en.wikipedia.org/wiki/Little_Bunny_Foo_Foo)
|
|
to "Little Bunny Foo Foo". There's a lot of duplication in this song.
|
|
Extend the initial piping example to recreate the complete song, and use
|
|
functions to reduce the duplication.
|
|
|
|
## Functions are for humans and computers
|
|
|
|
It's important to remember that functions are not just for the computer, but are also for humans. R doesn't care what your function is called, or what comments it contains, but these are important for human readers. This section discusses some things that you should bear in mind when writing functions that humans can understand.
|
|
|
|
The name of a function is important. Ideally, the name of your function will be short, but clearly evoke what the function does. That's hard! But it's better to be clear than short, as RStudio's autocomplete makes it easy to type long names.
|
|
|
|
Generally, function names should be verbs, and arguments should be nouns. There are some exceptions: nouns are ok if the function computes a very well known noun (i.e. `mean()` is better than `compute_mean()`), or accessing some property of an object (i.e. `coef()` is better than `get_coefficients()`). A good sign that a noun might be a better choice is if you're using a very broad verb like "get", "compute", "calculate", or "determine". Use your best judgement and don't be afraid to rename a function if you figure out a better name later.
|
|
|
|
```{r, eval = FALSE}
|
|
# Too short
|
|
f()
|
|
|
|
# Not a verb, or descriptive
|
|
my_awesome_function()
|
|
|
|
# Long, but clear
|
|
impute_missing()
|
|
collapse_years()
|
|
```
|
|
|
|
If your function name is composed of multiple words, I recommend using "snake\_case", where each lowercase word is separated by an underscore. camelCase is a popular alternative. It doesn't really matter which one you pick, the important thing is to be consistent: pick one or the other and stick with it. R itself is not very consistent, but there's nothing you can do about that. Make sure you don't fall into the same trap by making your code as consistent as possible.
|
|
|
|
```{r, eval = FALSE}
|
|
# Never do this!
|
|
col_mins <- function(x, y) {}
|
|
rowMaxes <- function(y, x) {}
|
|
```
|
|
|
|
If you have a family of functions that do similar things, make sure they have consistent names and arguments. Use a common prefix to indicate that they are connected. That's better than a common suffix because autocomplete allows you to type the prefix and see all the members of the family.
|
|
|
|
```{r, eval = FALSE}
|
|
# Good
|
|
input_select()
|
|
input_checkbox()
|
|
input_text()
|
|
|
|
# Not so good
|
|
select_input()
|
|
checkbox_input()
|
|
text_input()
|
|
```
|
|
|
|
A good example of this design is the stringr package: if you don't remember exactly which function you need, you can type `str_` and jog your memory.
|
|
|
|
Where possible, avoid overriding existing functions and variables. It's impossible to do in general because so many good names are already taken by other packages, but avoiding the most common names from base R will avoid confusion.
|
|
|
|
```{r, eval = FALSE}
|
|
# Don't do this!
|
|
T <- FALSE
|
|
c <- 10
|
|
mean <- function(x) sum(x)
|
|
```
|
|
|
|
Use comments, lines starting with `#`, to explain the "why" of your code. You generally should avoid comments that explain the "what" or the "how". If you can't understand what the code does from reading it, you should think about how to rewrite it to be more clear. Do you need to add some intermediate variables with useful names? Do you need to break out a subcomponent of a large function so you can name it? However, your code can never capture the reasoning behind your decisions: why did you choose this approach instead of an alternative? What else did you try that didn't work? It's a great idea to capture that sort of thinking in a comment.
|
|
|
|
Another important use of comments is to break up your file into easily readable chunks. Use long lines of `-` and `=` to make it easy to spot the breaks.
|
|
|
|
```{r, eval = FALSE}
|
|
# Load data --------------------------------------
|
|
|
|
# Plot data --------------------------------------
|
|
```
|
|
|
|
RStudio provides a keyboard shortcut to create these headers (Cmd/Ctrl + Shift + R), and will display them in the code navigation drop-down at the bottom-left of the editor:
|
|
|
|
```{r, echo = FALSE, out.width = NULL}
|
|
knitr::include_graphics("screenshots/rstudio-nav.png")
|
|
```
|
|
|
|
### Exercises
|
|
|
|
1. Read the source code for each of the following three functions, puzzle out
|
|
what they do, and then brainstorm better names.
|
|
|
|
```{r}
|
|
f1 <- function(string, prefix) {
|
|
substr(string, 1, nchar(prefix)) == prefix
|
|
}
|
|
f2 <- function(x) {
|
|
if (length(x) <= 1) return(NULL)
|
|
x[-length(x)]
|
|
}
|
|
f3 <- function(x, y) {
|
|
rep(y, length.out = length(x))
|
|
}
|
|
```
|
|
|
|
1. Take a function that you've written recently and spend 5 minutes
|
|
brainstorming a better name for it and its arguments.
|
|
|
|
1. Compare and contrast `rnorm()` and `MASS::mvrnorm()`. How could you make
|
|
them more consistent?
|
|
|
|
1. Make a case for why `norm_r()`, `norm_d()` etc would be better than
|
|
`rnorm()`, `dnorm()`. Make a case for the opposite.
|
|
|
|
## Conditional execution
|
|
|
|
An `if` statement allows you to conditionally execute code. It looks like this:
|
|
|
|
```{r, eval = FALSE}
|
|
if (condition) {
|
|
# code executed when condition is TRUE
|
|
} else {
|
|
# code executed when condition is FALSE
|
|
}
|
|
```
|
|
|
|
To get help on `if` you need to surround it in backticks: `` ?`if` ``.
|
|
|
|
Here's a simple function that uses an if statement. The goal of this function is to return a logical vector describing whether or not each element of a vector is named.
|
|
|
|
```{r}
|
|
has_name <- function(x) {
|
|
nms <- names(x)
|
|
if (is.null(nms)) {
|
|
rep(FALSE, length(x))
|
|
} else {
|
|
!is.na(nms) & nms != ""
|
|
}
|
|
}
|
|
```
|
|
|
|
This function takes advantage of the standard return rule: a function returns the last value that it computed. Here that is either one of the two branches of the `if` statement.
|
|
|
|
### Conditions
|
|
|
|
The `condition` must evaluate to either `TRUE` or `FALSE`. If it's a vector, you'll get a warning message; if it's an `NA`, you'll get an error. Watch out for these messages in your own code:
|
|
|
|
```{r, error = TRUE}
|
|
if (c(TRUE, FALSE)) {}
|
|
|
|
if (NA) {}
|
|
```
|
|
|
|
You can use `||` (or) and `&&` (and) to combine multiple logical expressions. These operators are "short-circuiting": as soon as `||` sees the first `TRUE` it returns `TRUE` without computing anything else. As soon as `&&` sees the first `FALSE` it returns `FALSE`. You should never use `|` or `&` in an `if` statement: these are vectorised operations that apply to multiple values (that's why you use them in `filter()`). If you do have a logical vector, you can use `any()` or `all()` to collapse it to a single value.
|
|
|
|
Be careful when testing for equality. `==` is vectorised, which means that it's easy to get more than one output. Either check the length is already 1, collapse with `all()` or `any()`, or use the non-vectorised `identical()`. `identical()` is very strict: it always returns either a single `TRUE` or a single `FALSE`, and doesn't coerce types. This means that you need to be careful when comparing integers and doubles:
|
|
|
|
```{r}
|
|
identical(0L, 0)
|
|
```
|
|
|
|
You also need to be wary of floating point numbers:
|
|
|
|
```{r}
|
|
x <- sqrt(2) ^ 2
|
|
x
|
|
x == 2
|
|
x - 2
|
|
```
|
|
|
|
Instead use `dplyr::near()` for comparisons, as described in [comparisons].
|
|
|
|
And remember, `x == NA` doesn't do anything useful!
|
|
|
|
### Multiple conditions
|
|
|
|
You can chain multiple if statements together:
|
|
|
|
```{r, eval = FALSE}
|
|
if (this) {
|
|
# do that
|
|
} else if (that) {
|
|
# do something else
|
|
} else {
|
|
#
|
|
}
|
|
```
|
|
|
|
But if you end up with a very long series of chained `if` statements, you should consider rewriting. One useful technique is the `switch()` function. It allows you to evaluate selected code based on position or name.
|
|
|
|
```{r, echo = FALSE}
|
|
function(x, y, op) {
|
|
switch(op,
|
|
plus = x + y,
|
|
minus = x - y,
|
|
times = x * y,
|
|
divide = x / y,
|
|
stop("Unknown op!")
|
|
)
|
|
}
|
|
```
|
|
|
|
Another useful function that can often eliminate long chains of `if` statements is `cut()`. It's used to discretise continuous variables.
|
|
|
|
### Code style
|
|
|
|
Both `if` and `function` should (almost) always be followed by squiggly brackets (`{}`), and the contents should be indented by two spaces. This makes it easier to see the hierarchy in your code by skimming the left-hand margin.
|
|
|
|
An opening curly brace should never go on its own line and should always be followed by a new line. A closing curly brace should always go on its own line, unless it's followed by `else`. Always indent the code inside curly braces.
|
|
|
|
```{r, eval = FALSE}
|
|
# Good
|
|
if (y < 0 && debug) {
|
|
message("Y is negative")
|
|
}
|
|
|
|
if (y == 0) {
|
|
log(x)
|
|
} else {
|
|
y ^ x
|
|
}
|
|
|
|
# Bad
|
|
if (y < 0 && debug)
|
|
message("Y is negative")
|
|
|
|
if (y == 0) {
|
|
log(x)
|
|
}
|
|
else {
|
|
y ^ x
|
|
}
|
|
```
|
|
|
|
It's ok to drop the curly braces if you have a very short `if` statement that can fit on one line:
|
|
|
|
```{r}
|
|
y <- 10
|
|
x <- if (y < 20) "Too low" else "Too high"
|
|
```
|
|
|
|
I recommend this only for very brief `if` statements. Otherwise, the full form is easier to read:
|
|
|
|
```{r}
|
|
if (y < 20) {
|
|
x <- "Too low"
|
|
} else {
|
|
x <- "Too high"
|
|
}
|
|
```
|
|
|
|
### Exercises
|
|
|
|
1. What's the difference between `if` and `ifelse()`? Carefully read the help
|
|
and construct three examples that illustrate the key differences.
|
|
|
|
1. Write a greeting function that says "good morning", "good afternoon",
|
|
or "good evening", depending on the time of day. (Hint: use a time
|
|
argument that defaults to `lubridate::now()`. That will make it
|
|
easier to test your function.)
|
|
|
|
1. How could you use `cut()` to simplify this set of nested if-else statements?
|
|
|
|
```{r, eval = FALSE}
|
|
if (temp <= 0) {
|
|
"freezing"
|
|
} else if (temp <= 10) {
|
|
"cold"
|
|
} else if (temp <= 20) {
|
|
"cool"
|
|
} else if (temp <= 30) {
|
|
"warm"
|
|
} else {
|
|
"hot"
|
|
}
|
|
```
|
|
|
|
How would you change the call to `cut()` if I'd used `<` instead of `<=`?
|
|
What is the other chief advantage of `cut()` for this problem? (Hint:
|
|
what happens if you have many values in `temp`?)
|
|
|
|
1. What happens if you use `switch()` with numeric values?
|
|
|
|
1. What does this `switch()` call do? What happens if `x` is "e"?
|
|
|
|
```{r, eval = FALSE}
|
|
switch(x,
|
|
a = ,
|
|
b = "ab",
|
|
c = ,
|
|
d = "cd"
|
|
)
|
|
```
|
|
|
|
Experiment, then carefully read the documentation.
|
|
|
|
## Function arguments
|
|
|
|
The arguments to a function typically fall into two broad sets: one set supplies the __data__ to compute on, and the other supplies arguments that control the __details__ of the computation. For example:
|
|
|
|
* In `log()`, the data is `x`, and the detail is the `base` of the logarithm.
|
|
|
|
* In `mean()`, the data is `x`, and the details are how much data to trim
|
|
from the ends (`trim`) and how to handle missing values (`na.rm`).
|
|
|
|
* In `t.test()`, the data are `x` and `y`, and the details of the test are
|
|
`alternative`, `mu`, `paired`, `var.equal`, and `conf.level`.
|
|
|
|
* In `str_c()` you can supply any number of strings to `...`, and the details
|
|
of the concatenation are controlled by `sep` and `collapse`.
|
|
|
|
Generally, data arguments should come first. Detail arguments should go on the end, and usually should have default values. You specify a default value in the same way you call a function with a named argument:
|
|
|
|
```{r}
|
|
# Compute confidence interval around mean using normal approximation
|
|
mean_ci <- function(x, conf = 0.95) {
|
|
se <- sd(x) / sqrt(length(x))
|
|
alpha <- 1 - conf
|
|
mean(x) + se * qnorm(c(alpha / 2, 1 - alpha / 2))
|
|
}
|
|
|
|
x <- runif(100)
|
|
mean_ci(x)
|
|
mean_ci(x, conf = 0.99)
|
|
```
|
|
|
|
The default value should almost always be the most common value. The few exceptions to this rule are to do with safety. For example, it makes sense for `na.rm` to default to `FALSE` because missing values are important. Even though `na.rm = TRUE` is what you usually put in your code, it's a bad idea to silently ignore missing values by default.
|
|
|
|
When you call a function, you typically omit the names of the data arguments, because they are used so commonly. If you override the default value of a detail argument, you should use the full name:
|
|
|
|
```{r, eval = FALSE}
|
|
# Good
|
|
mean(1:10, na.rm = TRUE)
|
|
|
|
# Bad
|
|
mean(x = 1:10, , FALSE)
|
|
mean(, TRUE, x = c(1:10, NA))
|
|
```
|
|
|
|
You can refer to an argument by its unique prefix (e.g. `mean(x, n = TRUE)`), but this is generally best avoided given the possibilities for confusion.
|
|
|
|
Notice that when you call a function, you should place a space around `=` in function calls, and always put a space after a comma, not before (just like in regular English). Using whitespace makes it easier to skim the function for the important components.
|
|
|
|
```{r, eval = FALSE}
|
|
# Good
|
|
average <- mean(feet / 12 + inches, na.rm = TRUE)
|
|
|
|
# Bad
|
|
average<-mean(feet/12+inches,na.rm=TRUE)
|
|
```
|
|
|
|
### Choosing names
|
|
|
|
The names of the arguments are also important. R doesn't care, but the readers of your code (including future-you!) will. Generally you should prefer longer, more descriptive names, but there are a handful of very common, very short names. It's worth memorising these:
|
|
|
|
* `x`, `y`, `z`: vectors.
|
|
* `w`: a vector of weights.
|
|
* `df`: a data frame.
|
|
* `i`, `j`: numeric indices (typically rows and columns).
|
|
* `n`: length, or number of rows.
|
|
* `p`: number of columns.
|
|
|
|
Otherwise, consider matching names of arguments in existing R functions. For example, use `na.rm` to determine if missing values should be removed.
|
|
|
|
### Checking values
|
|
|
|
As you start to write more functions, you'll eventually get to the point where you don't remember exactly how your function works. At this point it's easy to call your function with invalid inputs. To avoid this problem, it's often useful to make constraints explicit. For example, imagine you've written some functions for computing weighted summary statistics:
|
|
|
|
```{r}
|
|
wt_mean <- function(x, w) {
|
|
sum(x * w) / sum(x)
|
|
}
|
|
wt_var <- function(x, w) {
|
|
mu <- wt_mean(x, w)
|
|
sum(w * (x - mu) ^ 2) / sum(w)
|
|
}
|
|
wt_sd <- function(x, w) {
|
|
sqrt(wt_var(x, w))
|
|
}
|
|
```
|
|
|
|
What happens if `x` and `w` are not the same length?
|
|
|
|
```{r}
|
|
wt_mean(1:6, 1:3)
|
|
```
|
|
|
|
In this case, because of R's vector recycling rules, we don't get an error.
|
|
|
|
It's good practice to check important preconditions, and throw an error (with `stop()`), if they are not true:
|
|
|
|
```{r}
|
|
wt_mean <- function(x, w) {
|
|
if (length(x) != length(w)) {
|
|
stop("`x` and `w` must be the same length", call. = FALSE)
|
|
}
|
|
sum(w * x) / sum(x)
|
|
}
|
|
```
|
|
|
|
Be careful not to take this too far. There's a tradeoff between how much time you spend making your function robust, versus how long you spend writing it. For example, if you also added a `na.rm` argument, I probably wouldn't check it carefully:
|
|
|
|
```{r}
|
|
wt_mean <- function(x, w, na.rm = FALSE) {
|
|
if (!is.logical(na.rm)) {
|
|
stop("`na.rm` must be logical")
|
|
}
|
|
if (length(na.rm) != 1) {
|
|
stop("`na.rm` must be length 1")
|
|
}
|
|
if (length(x) != length(w)) {
|
|
stop("`x` and `w` must be the same length", call. = FALSE)
|
|
}
|
|
|
|
if (na.rm) {
|
|
miss <- is.na(x) | is.na(w)
|
|
x <- x[!miss]
|
|
w <- w[!miss]
|
|
}
|
|
sum(w * x) / sum(x)
|
|
}
|
|
```
|
|
|
|
This is a lot of extra work for little additional gain. A useful compromise is the built-in `stopifnot()`: it checks that each argument is `TRUE`, and produces a generic error message if not.
|
|
|
|
```{r, error = TRUE}
|
|
wt_mean <- function(x, w, na.rm = FALSE) {
|
|
stopifnot(is.logical(na.rm), length(na.rm) == 1)
|
|
stopifnot(length(x) == length(w))
|
|
|
|
if (na.rm) {
|
|
miss <- is.na(x) | is.na(w)
|
|
x <- x[!miss]
|
|
w <- w[!miss]
|
|
}
|
|
sum(w * x) / sum(x)
|
|
}
|
|
wt_mean(1:6, 6:1, na.rm = "foo")
|
|
```
|
|
|
|
Note that when using `stopifnot()` you assert what should be true rather than checking for what might be wrong.
|
|
|
|
### Dot-dot-dot (...)
|
|
|
|
Many functions in R take an arbitrary number of inputs:
|
|
|
|
```{r}
|
|
sum(1, 2, 3, 4, 5, 6, 7, 8, 9, 10)
|
|
stringr::str_c("a", "b", "c", "d", "e", "f")
|
|
```
|
|
|
|
How do these functions work? They rely on a special argument: `...` (pronounced dot-dot-dot). This special argument captures any number of arguments that aren't otherwise matched.
|
|
|
|
It's useful because you can then send those `...` on to another function. This is a useful catch-all if your function primarily wraps another function. For example, I commonly create these helper functions that wrap around `str_c()`:
|
|
|
|
```{r}
|
|
commas <- function(...) stringr::str_c(..., collapse = ", ")
|
|
commas(letters[1:10])
|
|
|
|
rule <- function(..., pad = "-") {
|
|
title <- paste0(...)
|
|
width <- getOption("width") - nchar(title) - 5
|
|
cat(title, " ", stringr::str_dup(pad, width), "\n", sep = "")
|
|
}
|
|
rule("Important output")
|
|
```
|
|
|
|
Here `...` lets me forward on any arguments that I don't want to deal with to `str_c()`. It's a very convenient technique. But it does came at a price: any misspelled arguments will not raise an error. This makes it easy for typos to go unnoticed:
|
|
|
|
```{r}
|
|
x <- c(1, 2)
|
|
sum(x, na.mr = TRUE)
|
|
```
|
|
|
|
If you just want to capture the values of the `...`, use `list(...)`.
|
|
|
|
### Lazy evaluation
|
|
|
|
Arguments in R are lazily evaluated: they're not computed until they're needed. That means if they're never used, they're never called. This is an important property of R as a programming language, but is generally not important when you're writing your own functions for data analysis. You can read more about lazy evaluation at <http://adv-r.had.co.nz/Functions.html#lazy-evaluation>.
|
|
|
|
### Exercises
|
|
|
|
1. What does `commas(letters, collapse = "-")` do? Why?
|
|
|
|
1. It'd be nice if you could supply multiple characters to the `pad` argument,
|
|
e.g. `rule("Title", pad = "-+")`. Why doesn't this currently work? How
|
|
could you fix it?
|
|
|
|
1. What does the `trim` argument to `mean()` do? When might you use it?
|
|
|
|
1. The default value for the `method` argument to `cor()` is
|
|
`c("pearson", "kendall", "spearman")`. What does that mean? What
|
|
value is used by default?
|
|
|
|
## Return values
|
|
|
|
Figuring out what your function should return is usually straightforward: it's why you created the function in the first place! There are two things you should consider when returning a value:
|
|
|
|
1. Does returning early make your function easier to read?
|
|
|
|
2. Can you make your function pipeable?
|
|
|
|
### Explicit return statements
|
|
|
|
The value returned by the function is the usually the last statement it evaluates, but you can choose to return early by using `return()`. I think it's best to save the use of `return()` to signal that you can return early with a simpler solution. A common reason to do this is because the inputs are empty:
|
|
|
|
```{r}
|
|
complicated_function <- function(x, y, z) {
|
|
if (length(x) == 0 || length(y) == 0) {
|
|
return(0)
|
|
}
|
|
|
|
# Complicated code here
|
|
}
|
|
|
|
```
|
|
|
|
Another reason is because you have a `if` statement with one complex block and one simple block. For example, you might write an if statement like this:
|
|
|
|
```{r, eval = FALSE}
|
|
f <- function() {
|
|
if (x) {
|
|
# Do
|
|
# something
|
|
# that
|
|
# takes
|
|
# many
|
|
# lines
|
|
# to
|
|
# express
|
|
} else {
|
|
# return something short
|
|
}
|
|
}
|
|
```
|
|
|
|
But if the first block is very long, by the time you get to the `else`, you've forgotten the `condition`. One way to rewrite it is to use an early return for the simple case:
|
|
|
|
```{r, eval = FALSE}
|
|
|
|
f <- function() {
|
|
if (!x) {
|
|
return(something_short)
|
|
}
|
|
|
|
# Do
|
|
# something
|
|
# that
|
|
# takes
|
|
# many
|
|
# lines
|
|
# to
|
|
# express
|
|
}
|
|
```
|
|
|
|
This tends to make the code easier to understand, because you don't need quite so much context to understand it.
|
|
|
|
### Writing pipeable functions
|
|
|
|
If you want to write your own pipeable functions, thinking about the return value is important. There are two main types of pipeable functions: transformation and side-effecty.
|
|
|
|
In __transformation__ functions, there's a clear "primary" object that is passed in as the first argument, and a modified version is returned by the function. For example, the key objects for dplyr and tidyr are data frames. If you can identify what the object type is for your domain, you'll find that your functions just work with the pipe.
|
|
|
|
__Side-effect__ functions are primarily called to perform an action, like drawing a plot or saving a file, not transforming an object. These functions should "invisibly" return the first argument, so they're not printed by default, but can still be used in a pipeline. For example, this simple function that prints out the number of missing values in a data frame:
|
|
|
|
```{r}
|
|
show_missings <- function(df) {
|
|
n <- sum(is.na(df))
|
|
cat("Missing values: ", n, "\n", sep = "")
|
|
|
|
invisible(df)
|
|
}
|
|
```
|
|
|
|
If we call it interactively, the `invisible()` means that the input `df` doesn't get printed out:
|
|
|
|
```{r}
|
|
show_missings(mtcars)
|
|
```
|
|
|
|
But it's still there, it's just not printed by default:
|
|
|
|
```{r}
|
|
x <- show_missings(mtcars)
|
|
class(x)
|
|
dim(x)
|
|
```
|
|
|
|
And we can still use it in a pipe:
|
|
|
|
```{r, include = FALSE}
|
|
library(dplyr)
|
|
```
|
|
```{r}
|
|
mtcars %>%
|
|
show_missings() %>%
|
|
mutate(mpg = ifelse(mpg < 20, NA, mpg)) %>%
|
|
show_missings()
|
|
```
|
|
|
|
## Environment
|
|
|
|
The last component of a function is its environment. This is not something you need to understand deeply when you first start writing functions. However, it's important to know a little bit about environments because they are crucial to how functions work. The environment of a function controls how R finds the value associated with a name. For example, take this function:
|
|
|
|
```{r}
|
|
f <- function(x) {
|
|
x + y
|
|
}
|
|
```
|
|
|
|
In many programming languages, this would be an error, because `y` is not defined inside the function. In R, this is valid code because R uses rules called __lexical scoping__ to find the value associated with a name. Since `y` is not defined inside the function, R will look in the __environment__ where the function was defined:
|
|
|
|
```{r}
|
|
y <- 100
|
|
f(10)
|
|
|
|
y <- 1000
|
|
f(10)
|
|
```
|
|
|
|
This behaviour seems like a recipe for bugs, and indeed you should avoid creating functions like this deliberately, but by and large it doesn't cause too many problems (especially if you regularly restart R to get to a clean slate).
|
|
|
|
The advantage of this behaviour is that from a language standpoint it allows R to be very consistent. Every name is looked up using the same set of rules. For `f()` that includes the behaviour of two things that you might not expect: `{` and `+`. This allows you to do devious things like:
|
|
|
|
```{r}
|
|
`+` <- function(x, y) {
|
|
if (runif(1) < 0.1) {
|
|
sum(x, y)
|
|
} else {
|
|
sum(x, y) * 1.1
|
|
}
|
|
}
|
|
table(replicate(1000, 1 + 2))
|
|
rm(`+`)
|
|
```
|
|
|
|
This is a common phenomenon in R. R places few limits on your power. You can do many things that you can't do in other programming languages. You can do many things that 99% of the time are extremely ill-advised (like overriding how addition works!). But this power and flexibility is what makes tools like ggplot2 and dplyr possible. Learning how to make best use of this flexibility is beyond the scope of this book, but you can read about in [_Advanced R_](http://adv-r.had.co.nz).
|