Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:127604
Feedback-ID: ifab94697:Fastmail
Precedence: bulk
MIME-Version: 1.0
Date: Thu, 05 Jun 2025 07:32:25 +0200
To: internals@lists.php.net
Message-ID: <5299b2af-fbf9-4267-ad1d-069b6d39c9e7@app.fastmail.com>
In-Reply-To: 
 <6Z2Ysh6MjYp1nyzuB0bTPJc5srObIcMRqt731JaQeXUJk1f_V_Yo2nRn8WvjI7er7pp7pIUE6WYl5pRwvYrtcrd07nCutyAqKPSsZHmrS-Y=@gpb.moe>
References: 
 <6Z2Ysh6MjYp1nyzuB0bTPJc5srObIcMRqt731JaQeXUJk1f_V_Yo2nRn8WvjI7er7pp7pIUE6WYl5pRwvYrtcrd07nCutyAqKPSsZHmrS-Y=@gpb.moe>
Subject: Re: [PHP-DEV] [RFC] Transform void into an alias for null
Content-Type: multipart/alternative;
 boundary=e24ac7a3fff148d4825fdca724e1156c
From: rob@bottled.codes ("Rob Landers")

--e24ac7a3fff148d4825fdca724e1156c
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable



On Mon, Jun 2, 2025, at 18:27, Gina P. Banyard wrote:
> Hello internals,
>=20
> This is the second RFC out of a set of type system related RFCs I want=
 to propose for PHP 8.5.
>=20
> The objective is to fix a weird quirk of PHP's type system, where void=
 lives in its own type hierarchy.
> This is visible mainly in that a lack of return type is not isomorphic=
 to a function that has a return type of mixed.
>=20
> Let me know what you think about it.
>=20
> RFC: https://wiki.php.net/rfc/void-as-null
>=20
> Best regards,
>=20
> Gina P. Banyard
>=20

Hi Gina,

This RFC feels inverted to me. Instead of making null equivalent to void=
, why not make using a void return an error (eventually) instead of it r=
eturning null?

=E2=80=94 Rob
--e24ac7a3fff148d4825fdca724e1156c
Content-Type: text/html; charset=utf-8
Content-Transfer-Encoding: quoted-printable

<!DOCTYPE html><html><head><title></title></head><body><div><br></div><d=
iv><br></div><div>On Mon, Jun 2, 2025, at 18:27, Gina P. Banyard wrote:<=
/div><blockquote type=3D"cite" id=3D"qt" style=3D""><div>Hello internals=
,</div><div><br></div><div>This is the second RFC out of a set of type s=
ystem related RFCs I want to propose for PHP 8.5.</div><div><br></div><d=
iv>The objective is to fix a weird quirk of PHP's type system, where voi=
d lives in its own type hierarchy.</div><div>This is visible mainly in t=
hat a lack of return type is not isomorphic to a function that has a ret=
urn type of mixed.</div><div><br></div><div>Let me know what you think a=
bout it.</div><div><br></div><div>RFC:&nbsp;<a href=3D"https://wiki.php.=
net/rfc/void-as-null">https://wiki.php.net/rfc/void-as-null</a></div><di=
v><br></div><div>Best regards,</div><div><br></div><div>Gina P. Banyard<=
/div><div><br></div></blockquote><div><br></div><div>Hi Gina,</div><div>=
<br></div><div>This RFC feels inverted to me. Instead of making null equ=
ivalent to void, why not make using a void return an error (eventually) =
instead of it returning null?</div><div><br></div><div id=3D"sig12122915=
2">=E2=80=94 Rob</div></body></html>
--e24ac7a3fff148d4825fdca724e1156c--