LSP (Language Server Protocol) support for SageMath

asked 4 years ago

petRUShka gravatar image

updated 4 years ago

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.

Preview: (hide)

Comments

This kind of feature would be great in order to improve the experience of using SageMath in a Jupyter notebook in VSCode!

Bakerbakura gravatar imageBakerbakura ( 4 years ago )