|
|
|
|
|
|
by chriswarbo
1599 days ago
|
|
|
> Whats a common use case? If we expand the discussion from "lambda calculus" to "pretty much every programming language", then "beta reduction" becomes "calling a function with an argument" > Is there any practical example on this? Given the above, you'll be able to find beta-reduction in practically all software ever written ;) |
|
|