Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:129039
Precedence: list
MIME-Version: 1.0
References: <CAFJFTYZK+FD+02YXmW9NuNoOfepyZYVZTWDJVSD18rodHfnZDQ@mail.gmail.com>
 <CAFJFTYb2+mGT-YJZ23qjrQYuuVdqRAv7G16iZhZDMgx6f3NvyQ@mail.gmail.com>
In-Reply-To: <CAFJFTYb2+mGT-YJZ23qjrQYuuVdqRAv7G16iZhZDMgx6f3NvyQ@mail.gmail.com>
Date: Sat, 1 Nov 2025 11:35:17 +0100
Message-ID: <CADyq6sJ1eH3B9p-OeYjFbnY1sQ3aCHKuRw=brevnzo5J-StYmw@mail.gmail.com>
Subject: Re: [PHP-DEV] Fwd: [DISCUSSION] Proposal: Official PHP Language
 Server (LSP Implementation)
To: Dan Jessen <danjessen@gmail.com>
Cc: internals@lists.php.net
Content-Type: multipart/alternative; boundary="0000000000008bc8b20642860a7e"
From: ocramius@gmail.com (Marco Pivetta)

--0000000000008bc8b20642860a7e
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

On Fri, 31 Oct 2025 at 15:48, Dan Jessen <danjessen@gmail.com> wrote:

> Hello everyone,
>
> I=E2=80=99d like to start a discussion about the potential for PHP to hav=
e an
> official Language Server, implementing the Language Server Protocol (LSP)=
 =E2=80=94
> similar to what other programming languages already provide (e.g. Go=E2=
=80=99s
> gopls, Elixir=E2=80=99s Expert, etc.).
>

Just reporting on existing language servers that already exist, and go way
ahead of PHP in terms of supported type declarations.

*
https://github.com/vimeo/psalm/blob/2b0ff73c8bed091af231a0a80ac109126c92083=
a/docs/running_psalm/language_server.md
*
https://github.com/phpactor/language-server/blob/e4934195cc1857ec3347a488f3=
357b0f0df2d2bf/README.md
*
https://github.com/phan/phan/blob/5c25c548b2fb3755e5a01f320dfd96dcd19d850b/=
README.md#features

Note that the PHP spec is quite limited on more refined types (like `int<1,
max>` and such, as an example), so I wouldn't expect an "official" LSP to
support it.

Marco Pivetta

https://mastodon.social/@ocramius

https://ocramius.github.io/  <https://ocramius.github.io/>

--0000000000008bc8b20642860a7e
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div dir=3D"ltr"></div><div class=3D"gmail_quote gmail_quo=
te_container"><div dir=3D"ltr" class=3D"gmail_attr">On Fri, 31 Oct 2025 at =
15:48, Dan Jessen &lt;<a href=3D"mailto:danjessen@gmail.com">danjessen@gmai=
l.com</a>&gt; wrote:<br></div><blockquote class=3D"gmail_quote" style=3D"ma=
rgin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:=
1ex"><div dir=3D"ltr"><div class=3D"gmail_quote"><div dir=3D"ltr">Hello eve=
ryone,<br><br>I=E2=80=99d like to start a discussion about the potential fo=
r PHP to have an official Language Server, implementing the Language Server=
 Protocol (LSP) =E2=80=94 similar to what other programming languages alrea=
dy provide (e.g. Go=E2=80=99s gopls, Elixir=E2=80=99s Expert, etc.).</div><=
/div></div></blockquote><div><br></div><div><div>Just reporting on existing=
 language servers that already exist, and go way ahead of PHP in terms of s=
upported type declarations.</div><div><br></div><div>*=C2=A0<a href=3D"http=
s://github.com/vimeo/psalm/blob/2b0ff73c8bed091af231a0a80ac109126c92083a/do=
cs/running_psalm/language_server.md">https://github.com/vimeo/psalm/blob/2b=
0ff73c8bed091af231a0a80ac109126c92083a/docs/running_psalm/language_server.m=
d</a></div><div>*=C2=A0<a href=3D"https://github.com/phpactor/language-serv=
er/blob/e4934195cc1857ec3347a488f3357b0f0df2d2bf/README.md">https://github.=
com/phpactor/language-server/blob/e4934195cc1857ec3347a488f3357b0f0df2d2bf/=
README.md</a></div><div>*=C2=A0<a href=3D"https://github.com/phan/phan/blob=
/5c25c548b2fb3755e5a01f320dfd96dcd19d850b/README.md#features">https://githu=
b.com/phan/phan/blob/5c25c548b2fb3755e5a01f320dfd96dcd19d850b/README.md#fea=
tures</a></div><div><br></div><div>Note
 that the PHP spec is quite limited on more refined types (like=20
`int&lt;1, max&gt;` and such, as an example), so I wouldn&#39;t expect an=
=20
&quot;official&quot; LSP to support it.</div><br></div><div><div><div dir=
=3D"ltr" class=3D"gmail_signature"><div dir=3D"ltr">Marco Pivetta <br><br><=
a href=3D"https://mastodon.social/@ocramius" target=3D"_blank">https://mast=
odon.social/@ocramius</a><br><br><a href=3D"https://ocramius.github.io/" ta=
rget=3D"_blank">https://ocramius.github.io/=C2=A0</a></div></div></div>=C2=
=A0</div></div></div>

--0000000000008bc8b20642860a7e--