Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:128409
Content-Type: text/plain;
	charset=us-ascii
Content-Transfer-Encoding: quoted-printable
Precedence: list
Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3826.700.81\))
Subject: Re: [PHP-DEV] Blog post: If we can get partial generics, should we?
Date: Wed, 6 Aug 2025 14:07:18 +0200
References: <c8a2439d-2690-4e0e-a13b-718714728bd5@app.fastmail.com>
To: php internals <internals@lists.php.net>
In-Reply-To: <c8a2439d-2690-4e0e-a13b-718714728bd5@app.fastmail.com>
Message-ID: <0EDD148D-8AC3-4644-9669-5C32754FED64@cschneid.com>
From: cschneid@cschneid.com (Christian Schneider)

Am 04.08.2025 um 17:23 schrieb Larry Garfield <larry@garfieldtech.com>:
> Hi folks.  I recently wrote a blog post on behalf of the PHP =
Foundation about some work Gina has been doing regarding generics.  It's =
a follow-up to last year's post on a similar topic.  We are especially =
looking for feedback from the Internals crew, and voters in particular, =
on whether or not to proceed.
>=20
> https://thephp.foundation/blog/2025/08/05/compile-generics/

To be up-front: I am not the target demographic for this feature, being =
an OO and Type minimalist ;-)

One little thing I noted in the side-note about type inference
	=
https://thephp.foundation/blog/2025/08/05/compile-generics/#type-inference=

was the part

> function add(int $x, int $y)
> {
> 	return $x + $y;
> }
>=20
> It's readily obvious that the return type of that function is int, ...

Now this is nit-picking but that's not true for PHP in general, if I =
give it the values PHP_INT_MAX and 1 the result will be float, not int.

It has little to do with the topic of the whole post but I still felt =
the urge to point it out. But please do not get into a discussion about =
automatic type conversions here because of that, it is just a reminder =
that type inference has some edge cases ;-)

Regards,
- Chris