Avoid generating calls to Curry when adjusting arity of uncurried f…
#6870
Conversation
…unctions.
A function such as this one:
```
let t4 = ({contents: x0}, {contents: x1}, {contents: x2}, {contents: x3}) => (x0, x1, x2, x3)
```
is 4 nested functions each one extracting the `contents` field.
In uncurried mode, the arity is adjusted to be 4, by putting a wrapper on top.
The wrapper was added by applying all the new args at once, which requires `Curry` runtime.
cristianoc
force-pushed
the
uncurry_arity_adjustment
branch
from
da19b3d to
c550944
Compare
|
I don't understand why nested function calls are generated at all for >3 parameters. |
Multiple args with pattern matching are internally represented as nested functions with arity 1. |
|
One could write the code by hand, wrapper etc, and observe different optimizations based on on the complexity. |
|
Improving the existing optimizations, which are not about uncurried functions, is a good question, but separate. |
…unctions.
A function such as this one:
is 4 nested functions each one extracting the
contentsfield. In uncurried mode, the arity is adjusted to be 4, by putting a wrapper on top. The wrapper was added by applying all the new args at once, which requiresCurryruntime.