4 ms·
> So what is it intended to mean? The intent, clearly, is to represent the function that squares its input, just as 2x is meant to be the function that doubles
by auggierose 3y ago
> So what is it intended to mean? The intent, clearly, is to represent the function that squares its input, just as 2x is meant to be the function that doubles its input. We have nicer ways of writing those:
> fun square(x :: Number) -> Number: x * x end
> fun double(x :: Number) -> Number: 2 * x end
No, that is not a nicer way of writing those. It certainly helps for understanding, but once you understood properly what is going on, writing `fun double(x :: Number) -> Number: 2 * x end` instead of `2x` is just not economical.
- tromp 3y agod/dx F = F' is indeed a concise way to denote that d (\x.F) = (\x.F), where \x.F is the lambda calculus notation of a function that takes x to F. The /dx part indicates that the following expression should be considered functions of x. The equation can also be rewritten as d F = F' dx, reflecting that the change in function value is proportional to both the derivate and change in x.
- regularfry 3y agoI read it as (mostly) a joke. It's not nicer because it's objectively better in all cases, it's nicer because it's pyret.
- auggierose 3y agoI haven't considered that it might be a joke...