Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:114823
MIME-Version: 1.0
References: <9adf063b-2598-4dd4-9e2b-cf2cd4f53b86@www.fastmail.com>
 <CAC5V6gj+b7yxhaxuOAyxxhDc6L0QHYUs07_YPhAE2tcu809prg@mail.gmail.com>
 <c89f001a-ed9d-421e-963c-263d6118b4b4@www.fastmail.com> <CAC5V6gjbzvP6cUZ74wpyRj=D9N5oKa4dEpMwXVW0zDxSTNiiiQ@mail.gmail.com>
In-Reply-To: <CAC5V6gjbzvP6cUZ74wpyRj=D9N5oKa4dEpMwXVW0zDxSTNiiiQ@mail.gmail.com>
Date: Thu, 10 Jun 2021 20:35:39 +0200
Message-ID: <CAC5V6ghwO6Q9sv4iO6DQrYoszizv0sPDB2eqtdr8wt4LqXkfew@mail.gmail.com>
To: Larry Garfield <larry@garfieldtech.com>
Cc: php internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="00000000000025001d05c46da9c0"
Subject: Re: [PHP-DEV] [RFC] Partial Function Application, take 2
From: guilliam.xavier@gmail.com (Guilliam Xavier)

--00000000000025001d05c46da9c0
Content-Type: text/plain; charset="UTF-8"

On Thu, Jun 10, 2021 at 7:32 PM Guilliam Xavier <guilliam.xavier@gmail.com>
wrote:

>
>  Since `$null?->whatever(1, 'a')` currently always returns null without
> error, shouldn't `$null?->whatever(?, 'a')` return a closure (with a
> signature built from the placeholders only) that will return null when
> called (i.e. equivalent to `fn (mixed $arg1) => null` here)?
>

Ah, we can also see `$foo?->bar(?)` as simply "desugaring" to `$foo ===
null ? null : $foo->bar(?)`, so the current behavior makes sense too (and
maybe even "more")...  I guess I was confused to get a "null-implying
error" despite using a "null-safe" call syntax :s  (There's also the
possibility of not supporting it, but I guess that would be a lose-lose...)

-- 
Guilliam Xavier

--00000000000025001d05c46da9c0--