Small addition to documentation #13

Merged
merged 1 commit into from Jan 7, 2013

Projects

None yet

3 participants

@christopherdavidwhite
Contributor

Computing the derivative of a function that has a constant parameter
seems a likely use case. When I attempted to do so it took me some
time, though, to figure out that I needed to use auto; in order to
save future users that trouble, it seems logical to add an example to
the README.

@christopherdavidwhite christopherdavidwhite Add example using auto to README.markdown.
Computing the derivative of a function that has a constant parameter
seems a likely use case. When I attempted to do so it took me some
time, though, to figure out that I needed to use auto; in order to
save future users that trouble, it seems logical to add an example to
the README.
5e59d26
@ekmett ekmett merged commit ea3ced0 into ekmett:master Jan 7, 2013

1 check passed

default The Travis build passed
Details
@barak
Collaborator
barak commented on 5e59d26 Jan 9, 2013

I'd call this a free variable rather than a constant parameter. After all, it could occur in a context like

(\y -> y * diff (\x -> (auto y) * sin x) 0)
Contributor

What you describe is pretty close to the situation that prompted my addition, and that's what I understand "parameter" to mean---you have a family of functions f(x) = y * sin(x) parametrized by y. Having said that, "free variable" is certainly a reasonable name.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment