On Mon, Dec 7, 2020 at 6:53 PM Gabor Grothendieck
<ggrothendieck at gmail.com> wrote:>
> On Mon, Dec 7, 2020 at 5:41 AM Duncan Murdoch <murdoch.duncan at
gmail.com> wrote:
> > I agree it's all about call expressions, but they aren't all
being
> > treated equally:
> >
> > x |> f(...)
> >
> > expands to f(x, ...), while
> >
> > x |> `function`(...)
> >
> > expands to `function`(...)(x). This is an exception to the rule for
> > other calls, but I think it's a justified one.
>
> This admitted inconsistency is justified by what? No argument has been
> presented. The justification seems to be implicitly driven by
implementation
> concerns at the expense of usability and language consistency.
Sorry if I have missed something, but is your consistency argument
basically that if
foo <- function(x) x + 1
then
x |> foo
x |> function(x) x + 1
should both work the same? Suppose it did. Would you then be OK if
x |> foo()
no longer worked as it does now, and produced foo()(x) instead of foo(x)?
If you are not OK with that and want to retain the current behaviour,
what would you want to happen with the following?
bar <- function(x) function(n) rnorm(n, mean = x)
10 |> bar(runif(1))() # works 'as expected' ~ bar(runif(1))(10)
10 |> bar(runif(1)) # currently bar(10, runif(1))
both of which you probably want. But then
baz <- bar(runif(1))
10 |> baz
(not currently allowed) will not be the same as what you would want from
10 |> bar(runif(1))
which leads to a different kind of inconsistency, doesn't it?
-Deepayan