|
|
|
# Flexible Partial Application
|
|
|
|
|
|
|
|
|
|
|
|
Are there any subtle reasons for why something like the following
|
|
|
|
couldn't be allowed?
|
|
|
|
|
|
|
|
```wiki
|
|
|
|
> foo x y z w = ...
|
|
|
|
> bar x w = foo x _ _ w
|
|
|
|
```
|
|
|
|
|
|
|
|
|
|
|
|
I.e. a more flexible version of partial application. This would be
|
|
|
|
translated to
|
|
|
|
|
|
|
|
```wiki
|
|
|
|
> bar x w = \y z -> foo x y z w
|
|
|
|
```
|
|
|
|
|
|
|
|
|
|
|
|
I.e a function which takes the "_" parameters in the same order they
|
|
|
|
were encountered in the function application.
|
|
|
|
|
|
|
|
## Related proposals =
|
|
|
|
|
|
|
|
- feature request for ghc at [ this ticket](http://hackage.haskell.org/trac/ghc/ticket/315)
|
|
|
|
- conflicts with [MagicUnderscore](magic-underscore) |
|
|
\ No newline at end of file |
