Hello everyone,
I’d like to start a discussion about the potential for PHP to have an
official Language Server, implementing the Language Server Protocol (LSP) —
similar to what other programming languages already provide (e.g. Go’s
gopls, Elixir’s 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/2b0ff73c8bed091af231a0a80ac109126c92083a/docs/running_psalm/language_server.md
*
https://github.com/phpactor/language-server/blob/e4934195cc1857ec3347a488f3357b0f0df2d2bf/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