Beacon is a Rust implementation of the language server protocol & a hindley-milner type system for Python, inspired by languages like F# & OCaml and the work of Astral & BASED pyright.
Beacon provides advanced type inference and static analysis for Python:
- Hindley-Milner type inference with generics and constraints
- Type narrowing through pattern matching and control flow
- Real-time diagnostics for syntax, semantic, and type errors
- Code intelligence: hover, completions, navigation, symbol search
- Code actions and refactoring: quick fixes, renaming, protocol implementations
- Semantic highlighting and inlay hints
- Code formatting and static analysis
Beacon works with any LSP-compatible editor:
- VS Code / VSCodium
- Zed
- Neovim (via standard LSP client)
- Helix (via standard LSP client)
See the Development Quick Start Guide for installation, usage, and editor setup instructions
Made with ⚡️ by Stormlight Labs.
Stormlight Labs is just me, Owais. Support my work on Ko-fi.
