Explain a lazy evaluation quirk

RLazy Evaluation

R Problem Overview


I am reading Hadley Wickhams's book on Github, in particular this part on lazy evaluation. There he gives an example of consequences of lazy evaluation, in the part with add/adders functions. Let me quote that bit:

> This [lazy evaluation] is important when creating closures with lapply or a loop: > > > add <- function(x) { > function(y) x + y > } > adders <- lapply(1:10, add) > adders[1](10) > adders[10] > > x is lazily evaluated the first time that you call one of the adder > functions. At this point, the loop is complete and the final value of > x is 10. Therefore all of the adder functions will add 10 on to their > input, probably not what you wanted! Manually forcing evaluation fixes > the problem: > > > add <- function(x) { > force(x) > function(y) x + y > } > adders2 <- lapply(1:10, add) > adders2[1](10) > adders2[10]

I do not seem to understand that bit, and the explanation there is minimal. Could someone please elaborate that particular example, and explain what happens there? I am specifically puzzled by the sentence "at this point, the loop is complete and the final value of x is 10". What loop? What final value, where? Must be something simple I am missing, but I just don't see it. Thanks a lot in advance.

R Solutions


Solution 1 - R

This is no longer true as of R 3.2.0!

The corresponding line in the change log reads:

> Higher order functions such as the apply functions and Reduce() now > force arguments to the functions they apply in order to eliminate > undesirable interactions between lazy evaluation and variable capture > in closures.

And indeed:

add <- function(x) {
  function(y) x + y
}
adders <- lapply(1:10, add)
adders[[1]](10)
# [1] 11
adders[[10]](10)
# [1] 20

Solution 2 - R

The goal of:

adders <- lapply(1:10, function(x)  add(x) )

is to create a list of add functions, the first adds 1 to its input, the second adds 2, etc. Lazy evaluation causes R to wait for really creating the adders functions until you really start calling the functions. The problem is that after creating the first adder function, x is increased by the lapply loop, ending at a value of 10. When you call the first adder function, lazy evaluation now builds the function, getting the value of x. The problem is that the original x is no longer equal to one, but to the value at the end of the lapply loop, i.e. 10.

Therefore, lazy evaluation causes all adder functions to wait until after the lapply loop has completed in really building the function. Then they build their function with the same value, i.e. 10. The solution Hadley suggests is to force x to be evaluated directly, avoiding lazy evaluation, and getting the correct functions with the correct x values.

Attributions

All content for this solution is sourced from the original question on Stackoverflow.

The content on this page is licensed under the Attribution-ShareAlike 4.0 International (CC BY-SA 4.0) license.

Content TypeOriginal AuthorOriginal Content on Stackoverflow
QuestionMaxim.KView Question on Stackoverflow
Solution 1 - RjhinView Answer on Stackoverflow
Solution 2 - RPaul HiemstraView Answer on Stackoverflow