Hasty Briefsbeta

双语

Show HN: A Python Language Server, Mypy-compatible

a year ago
  • #Language Server
  • #Python
  • #Rust
  • 一个兼容Mypy的Python语言服务器,采用Rust编写。
  • 完全符合标准,具备完整的类型系统功能。
  • 无与伦比的性能:比Mypy快20-200倍,内存使用经过优化。
  • 当前支持诊断功能;自动补全和跳转定义等功能正在开发中。
  • 由Jedi的开发者打造,凝聚14年Python自动补全和静态分析经验。
  • Alpha版本可能存在误报;Beta版本即将发布。
  • 支持VSCode、Vim及所有兼容LSP的编辑器(包括Helix、NeoVIM、SublimeText、Emacs、Zed等)。
  • 核心特性:兼容Mypy配置、错误恢复、增量检查、文件监听、支持Python 3.13。
  • 高级代码理解:通过>95%的Mypy测试用例,支持多种导入方式、类型收窄等。
  • 性能优化:基于Rust实现,显著快于Mypy,内存占用极低。
  • 全面支持类型系统特性(TypeVar、重载、数据类、协议、字面量类型等)。
  • 提供可执行文件:zubanls(语言服务器)和zmypy(Mypy替代品),兼容Linux/Mac/Windows。
  • Alpha阶段免费;正式版将按代码量定价——多数用户免费,大型代码库需付费。
  • 由Jedi创始人David Halter开发,旨在解决现有工具的速度瓶颈。
  • 面向需要精准性、可靠性和速度的专业用户;未来将支持Django和更多LSP功能。
  • 2025年初版可能未覆盖全部需求,将根据实际需求开放功能建议通道。