Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:125161
Precedence: bulk
MIME-Version: 1.0
References: <1b59392a-68cb-36eb-0fef-977ac7113520@php.net> <CADZ9LSXN-_oSUumwXmka7xgEy9PsEjUn+O4YGPP-2QPwyaB5_g@mail.gmail.com>
 <e69928c7-a471-4e00-878e-8bbda4d49c4f@app.fastmail.com>
In-Reply-To: <e69928c7-a471-4e00-878e-8bbda4d49c4f@app.fastmail.com>
Date: Fri, 23 Aug 2024 20:27:49 +0200
Message-ID: <CA+hqhpfSVqH3V-J7BQdg+G2=9msSP=pwONroP=YehcJzCGJ+=A@mail.gmail.com>
Subject: Re: [PHP-DEV] State of Generics and Collections
Cc: php internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="0000000000004a670906205df063"
From: weirdan@gmail.com (Bruce Weirdan)

--0000000000004a670906205df063
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

On Fri, Aug 23, 2024 at 4:27=E2=80=AFPM Larry Garfield <larry@garfieldtech.=
com>
wrote:

> Moving those definitions to attributes is certainly possible, though AFAI=
K
> both the PHPStan and Psalm devs have expressed zero interest in it.
>
Part of the challenge is that such an approach will either still involve
> string parsing,


That's not really a challenge and would help somewhat with the current
status quo where we have to guess where the type ends and the textual part
of the comment begins. But it gets ugly for any type that has to include
quotes (literal strings, array keys, etc). Technically one can use nowdocs,
but it's not much better:  https://3v4l.org/4hpte


> or will involve a lot of deeply nested attribute classes.


Yeah, that would look like Lisp's S-exprs, but much worse - which, in my
opinion, would harm adoption.

All in all, in my opinion attribute-based solutions are less ergonomic than
what we already have now in docblocks.

--=20
  Best regards,
      Bruce Weirdan                                     mailto:
weirdan@gmail.com

--0000000000004a670906205df063
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div dir=3D"ltr">On Fri, Aug 23, 2024 at 4:27=E2=80=AFPM L=
arry Garfield &lt;<a href=3D"mailto:larry@garfieldtech.com">larry@garfieldt=
ech.com</a>&gt; wrote:<br></div><div class=3D"gmail_quote"><blockquote clas=
s=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-left:1px solid r=
gb(204,204,204);padding-left:1ex">Moving those definitions to attributes is=
 certainly possible, though AFAIK both the PHPStan and Psalm devs have expr=
essed zero interest in it. <br></blockquote><blockquote class=3D"gmail_quot=
e" style=3D"margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204)=
;padding-left:1ex">Part of the challenge is that such an approach will eith=
er still involve string parsing, </blockquote><div><br></div><div>That&#39;=
s not really a challenge and would help somewhat with the current status qu=
o where we have to guess where the type ends and the textual part of the co=
mment begins. But it gets ugly for any type that has to include quotes (lit=
eral strings, array keys, etc). Technically one can use nowdocs, but it&#39=
;s not much better:=C2=A0 <a href=3D"https://3v4l.org/4hpte">https://3v4l.o=
rg/4hpte</a></div><div>=C2=A0</div><blockquote class=3D"gmail_quote" style=
=3D"margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding=
-left:1ex">or will involve a lot of deeply nested attribute classes.=C2=A0 =
</blockquote><div><br></div><div>Yeah, that would look like Lisp&#39;s S-ex=
prs, but much worse - which, in my opinion, would harm adoption.</div><div>=
<br></div><div>All in all, in my opinion attribute-based solutions are less=
 ergonomic than what we already have now in docblocks.<br></div></div><br><=
span class=3D"gmail_signature_prefix">-- </span><br><div dir=3D"ltr" class=
=3D"gmail_signature">=C2=A0 Best regards,<br>=C2=A0 =C2=A0 =C2=A0 Bruce Wei=
rdan=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0=C2=A0 mailto:<a hre=
f=3D"mailto:weirdan@gmail.com" target=3D"_blank">weirdan@gmail.com</a></div=
></div>

--0000000000004a670906205df063--