Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:121544
MIME-Version: 1.0
References: <CAM2mkbRmcwG8C_Y6Jxdr8Me1N8Cu06JqFdPKtKjJZ9msRy_LRw@mail.gmail.com>
 <ca92f7f5-7c32-4518-b8d6-4cb02b3e4e73@gmail.com> <CAM2mkbRA7y2OTPT+7-XHQ_0-YevYxWMscVye-EZbcMHbasCRSg@mail.gmail.com>
 <1f170e8f-5002-4ea3-b6b8-0a0c19435b8c@gmail.com> <CAM2mkbQ_G8ooM+pNMto5Tthf0Vmb5XPfxGvtZUfhLpyNnXHE-A@mail.gmail.com>
 <CAFPFaMKh2z=xtkxGJgeAHbKfTvZ6QcuDqd3AD+xSj2wCd=WpPw@mail.gmail.com>
In-Reply-To: <CAFPFaMKh2z=xtkxGJgeAHbKfTvZ6QcuDqd3AD+xSj2wCd=WpPw@mail.gmail.com>
Date: Tue, 31 Oct 2023 12:53:13 +0100
Message-ID: <CAM2mkbTn-S9tYxH1=w=xk_9JECwcTrzzkfBFPBPB3E7njrUpJQ@mail.gmail.com>
To: "G. P. B." <george.banyard@gmail.com>
Cc: Marcos Marcolin <marcolindev@gmail.com>, internals@lists.php.net
Content-Type: multipart/alternative; boundary="000000000000528170060901cdd4"
Subject: Re: [PHP-DEV] New RFC : empty() function
From: alessandro.a.rosa@gmail.com (Alessandro Rosa)

--000000000000528170060901cdd4
Content-Type: text/plain; charset="UTF-8"

Thank you, G.P.B. for editing and for sharing your honest viewpoint.
I saw your corrections and already fixed some flaws in the RFC text.

I raised issues that are critical on my modest viewpoint.
I see languages as an optimal mix between semantics, grammar and
performance.
The built-in empty() functions really needs to be revisited along these
directions.

Sincerely,

Alessandro Rosa


Il giorno mar 31 ott 2023 alle ore 12:34 G. P. B. <george.banyard@gmail.com>
ha scritto:

>
> On Tue, 31 Oct 2023 at 11:23, Alessandro Rosa <alessandro.a.rosa@gmail.com>
> wrote:
>
>> Hi Marcos,
>>
>> thanks for feedback.
>> Could you be clearer about your advice and gimme an example please?
>>
>
> I have edited the RFC content to add highlighting, hopefully you can now
> use that to improve the RFC text.
>
> However, I'm not very convinced at the moment that such a function is
> truly useful.
>
> Best regards,
>
> Gina/George P. Banyard
>
>
>
>

--000000000000528170060901cdd4--