LSP (Language Server Protocol) support for SageMath

asked 2020-04-10 08:12:00 -0500

petRUShka gravatar image

updated 2020-04-10 13:35:31 -0500

There are plenty kind of language servers for Python: LSP (palantir, sourcegraph, microsoft), jedi, rope and etc.

The Language Server protocol is used between a tool (the client) and a language smartness provider (the server) to integrate features like auto complete, go to definition, find all references and alike into the tool

There are a lot of editors (almost any) and IDE with support of that kind of language servers.

Question is: are there some adaptations of that solutions to SageMath (which is heavily based on Python and translated to Python)? Or may be some standalone solution for SageMath?

P.S. It is looked as there is evidence of some success with jedi-vim, but I cannot reproduce it at the moment.

edit retag flag offensive close merge delete