diff --git a/.vitepress/data/dependencies.yaml b/.vitepress/data/dependencies.yaml index 3958037..b0a4184 100644 --- a/.vitepress/data/dependencies.yaml +++ b/.vitepress/data/dependencies.yaml @@ -564,6 +564,15 @@ dependencies: tool: true version: 4.0.5 + pyrefly: + cmd: pyrefly --version + datasource: pypi + group: Python + home: https://github.com/facebook/pyrefly + license: MIT + tool: true + version: 1.0.0 + Python: cmd: python3 --version datasource: deb diff --git a/.vitepress/data/extensions.yaml b/.vitepress/data/extensions.yaml index 1a7df32..7032eb8 100644 --- a/.vitepress/data/extensions.yaml +++ b/.vitepress/data/extensions.yaml @@ -38,7 +38,7 @@ extensions: name: Ruff license: MIT home: https://github.com/astral-sh/ruff-vscode - version: 2026.38.0 + version: 2026.46.0 DavidAnson.vscode-markdownlint: name: markdownlint @@ -75,6 +75,11 @@ extensions: license: ISC home: https://github.com/ludwhe/vscode-uuid + meta.pyrefly: + name: Pyrefly + license: MIT + home: https://github.com/facebook/pyrefly + mikestead.dotenv: name: DotENV license: MIT diff --git a/docs/tools/python.md b/docs/tools/python.md index 5c2e330..172ad7c 100644 --- a/docs/tools/python.md +++ b/docs/tools/python.md @@ -17,7 +17,7 @@ Key features provided *out‑of‑the‑box*: - Both `pip` and the lightning‑fast `uv` package manager. - Automatic virtual environment activation when navigating into project directories. - Opinionated linting & formatting with `ruff` its IDE extension. -- Language‑intelligence powered by *Jedi* *(Pylance is unavailable in non‑official VS Code builds)*. +- Language‑intelligence powered by Meta's **Pyrefly** language server — Rust‑based, type‑aware, fast. - Pre‑generated `IPython` *(itself, not pre‑installed)* profile that matches the Kloud Workspace color palette. @@ -70,20 +70,15 @@ ws-cli template apply ruff For more details, refer to the [`ws-cli` documentation](/tools/ws-cli#templates-ws-template). -## IDE Compatibility & Language Server +## Language Server -Kloud Workspace aims to provide the best Python development experience. -However, due to licensing constraints, limitations exist in language server integrations. +Kloud Workspace ships **Meta's Pyrefly** as the Python language server — Rust‑based, +type‑aware, and dramatically faster than alternatives. Strict type checking is on by +default and honors the standard configuration knobs. -Kloud Workspace is *not* an official Microsoft build of VS Code, and therefore, the proprietary -[Pylance][] extension and language server is not available. - -Instead, Kloud Workspace ship the open-source [Jedi Language Server][], offering robust language -server features such as: - -- Blazing‑fast code completion. -- Go‑to‑definition & symbol search. -- Basic refactorings. +If you prefer a lighter‑weight LSP, override the editor settings via +`WS_EDITOR_SETTINGS_MERGE` to disable `python.pyrefly.*` and select your preferred +language server. ## Optional Interactive Shell @@ -99,6 +94,3 @@ whose prompt colors and syntax‑highlighting align with the Kloud Workspace's o Once IPython is installed it will pick up these settings automatically, no additional configuration required. - -[Pylance]: https://marketplace.visualstudio.com/items?itemName=ms-python.vscode-pylance -[Jedi Language Server]: https://github.com/pappasam/jedi-language-server