Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:119470
Date: Mon, 06 Feb 2023 18:07:57 +0000
To: "internals" <internals@lists.php.net>
Message-ID: <18627e9c82d.1185ba82a2669697.6762525826203739336@wendelladriel.com>
MIME-Version: 1.0
Content-Type: multipart/alternative; 
	boundary="----=_Part_8612504_1862589074.1675706877997"
Importance: Medium
User-Agent: Zoho Mail
Subject: RFC Proposal - Types for Inline Variables
From: me@wendelladriel.com (Wendell Adriel)

------=_Part_8612504_1862589074.1675706877997
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

Hello everyone.

My name is Wendell Adriel, I work with PHP since 2009 and these last couple=
 of days I was thinking that we have made HUGE progress with types on PHP s=
o far.

We can add types in a lot of places, but we still don't have a way to add t=
ypes to inline variables.



The Idea



I was talking about this on Twitter with some developers and I wanted to ch=
eck how's the feeling on this.

I know that there's a draft RFC that mentions this in the Future Scope sect=
ion:=C2=A0https://wiki.php.net/rfc/declare_vars

But my idea is not to have the declaration of variables like that. I'm thin=
king on a straightforward implementation that would be like:



Today=C2=A0we have:



$value =3D 10;

$value =3D 'foo'; // OK



My proposal is to be able to do something like:



int $value =3D 10;

$value =3D 'foo'; // TypeError



This typing would be optional and under the hood all current declarations w=
ould implicitly add the mixed type to the variable.

So this:



$value =3D 10;



Would be interpreted as:



mixed $value =3D 10;



-----



Implementation



I'm new to the PHP source code, but I'm looking into it and studying so I c=
an be able to work on the implementation and not only in creating/proposing=
 the RFC.

If someone that has more experience wants to help me it would be great.



-----



I'm happy to help with anything needed for this to happen and if someone wa=
nts to discuss further just ping me.

Thanks in advance for the attention.



---

Best Regards,

Wendell Adriel.

Software Engineer=C2=A0| Investor | Amateur Photographer | Musician | INFP=
=E2=80=8B


https://wendelladriel.com
------=_Part_8612504_1862589074.1675706877997--