首页
学习
活动
专区
圈层
工具
发布
    • 综合排序
    • 最热优先
    • 最新优先
    时间不限
  • 来自专栏AI派

    资源 | Github项目推荐 | 微软开源Python静态类型检查器Pyright

    微软最新开源Python静态类型检查器Pyright,比mypy快5倍 Python语言的静态类型检查器 创建Pyright是为了填补像 mypy 这样的现有Python类型检查器的漏洞。 语言服务功能 Pyright提供以下的语言服务功能: 悬停工具提示显示类型信息 符号定义的链接 在编辑期间智能优先级排队“实时”反馈 文档 命令行选项 配置 入门 Pyright内部 使用限制 Pyright Pyright完全专注于类型检查。 这是一个没有专门团队的次要项目。 Q:Pyright和Microsoft Python语言服务器有什么区别? 只需打开扩展程序面板并搜索 pyright 即可。 最新版本的命令行工具可以使用npm命令: npm i pyright 进行安装 全局安装:npm i -g pyright 运行命令行工具:npx pyright <options> 构建说明 要构建项目

    1.1K20发布于 2019-05-05
  • 来自专栏AI科技评论

    资源 | Github项目推荐 | 微软开源Python静态类型检查器Pyright

    微软最新开源Python静态类型检查器Pyright,比mypy快5倍 Python语言的静态类型检查器 创建Pyright是为了填补像 mypy 这样的现有Python类型检查器的漏洞。 语言服务功能 Pyright提供以下的语言服务功能: 悬停工具提示显示类型信息 符号定义的链接 在编辑期间智能优先级排队“实时”反馈 文档 命令行选项 配置 入门 Pyright内部 使用限制 Pyright Pyright完全专注于类型检查。 这是一个没有专门团队的次要项目。 Q:Pyright和Microsoft Python语言服务器有什么区别? 只需打开扩展程序面板并搜索 pyright 即可。 最新版本的命令行工具可以使用npm命令: npm i pyright 进行安装 全局安装:npm i -g pyright 运行命令行工具:npx pyright <options> 构建说明 要构建项目

    1.1K20发布于 2019-10-31
  • 来自专栏AI研习社

    Github项目推荐 | 微软最新开源Python静态类型检查器Pyright

    微软最新开源Python静态类型检查器Pyright,比mypy快5倍 Python语言的静态类型检查器 创建Pyright是为了填补像 mypy 这样的现有Python类型检查器的漏洞。 语言服务功能 Pyright提供以下的语言服务功能: 悬停工具提示显示类型信息 符号定义的链接 在编辑期间智能优先级排队“实时”反馈 文档 命令行选项 配置 入门 Pyright内部 使用限制 Pyright Pyright完全专注于类型检查。 这是一个没有专门团队的次要项目。 Q:Pyright和Microsoft Python语言服务器有什么区别? 只需打开扩展程序面板并搜索 pyright 即可。 最新版本的命令行工具可以使用npm命令: npm i pyright 进行安装 全局安装:npm i -g pyright 运行命令行工具:npx pyright <options> 构建说明 要构建项目

    1.4K20发布于 2019-05-08
  • 来自专栏程序员的知识天地

    介绍几款 Python 类型检查工具

    微软在 Github 上开源了一个 Python 静态类型检查工具:pyright ,引起了社区内的多方关注。 如今开源的 Pyright ,口碑还不错,那我们就来看看它有啥本事,顺便再介绍其它几款类型检查工具。 众所周知,Python 是一门动态类型语言,在运行期才知道变量的实际类型。 pyright 的文档宣称它有如下特点: 速度快。相较于 mypy 及其它用 Python 写的检查工具,它的速度是 5 倍甚至更多。 不依赖 Python 环境。 事实上,pyright 是“站在了巨人的肩膀上”,它的各项功能似乎都继承自其它几位前辈。 微软的 pyright 有个 watch 模式,应该是吸收了这点,而且更加好用(因为不需要额外安装 Watchman 和其它依赖)。

    96210发布于 2019-05-15
  • 来自专栏Python无止境

    介绍几款 Python 类型检查工具

    近日,微软在 Github 上开源了一个 Python 静态类型检查工具:pyright ,引起了社区内的多方关注。 pyright 的文档宣称它有如下特点: 速度快。相较于 mypy 及其它用 Python 写的检查工具,它的速度是 5 倍甚至更多。 不依赖 Python 环境。 事实上,pyright 是“站在了巨人的肩膀上”,它的各项功能似乎都继承自其它几位前辈。 微软的 pyright 有个 watch 模式,应该是吸收了这点,而且更加好用(因为不需要额外安装 Watchman 和其它依赖)。 至于它们的性能如何,是否真如 pyright 所说,它的速度是其它几个的 5 倍呢?感兴趣的同学们可以去试试。有什么使用体会,欢迎留言与我交流。

    1.4K10发布于 2019-04-09
  • 来自专栏Python无止境

    介绍几款 Python 类型检查工具

    adorable-animal-basket-1543793.jpg 近日,微软在 Github 上开源了一个 Python 静态类型检查工具:pyright ,引起了社区内的多方关注。 如今开源的 Pyright ,口碑还不错,那我们就来看看它有啥本事,顺便再介绍其它几款类型检查工具。 众所周知,Python 是一门动态类型语言,在运行期才知道变量的实际类型。 [68b02e3bgy1g1gmiohkzij20fp06imxk.jpg] pyright 的文档宣称它有如下特点: 速度快。 事实上,pyright 是“站在了巨人的肩膀上”,它的各项功能似乎都继承自其它几位前辈。 微软的 pyright 有个 watch 模式,应该是吸收了这点,而且更加好用(因为不需要额外安装 Watchman 和其它依赖)。

    1.1K40发布于 2019-03-27
  • 来自专栏福大大架构师每日一题

    openai-python v1.74.0 震撼发布!GPT-4.1 家族来袭,开发者必看更新解析!

    Pyright 设置更新 调整了 Pyright(Python 静态类型检查工具)的配置,进一步强化代码质量检测,减少潜在错误。 • 代码质量优化:Pyright 的调整意味着未来的更新会更稳健,减少 Breaking Changes。

    13900编辑于 2025-04-18
  • 来自专栏深度学习与python

    Meta 开源 Pyrefly,Rust 中的高性能 Python 类型检查器

    Pyrefly 的灵感来自于 Pyre、Pyright 和 MyPy 等工具,旨在取代之前用于 Instagram 代码库的基于 OCaml 的 Pyre 类型检查器。 我们探索了替代解决方案,并利用 Pyright 等社区工具进行了代码导航。 类似地,Pyrefly 只需要 2.4 秒即可完成对 PyTorch 的类型检查,而 Pyright 需要 35.2 秒,MyPy 需要 48.1 秒。

    37800编辑于 2025-06-08
  • 来自专栏开源服务指南

    无头富文本编辑器:框架无关,自由扩展 | 开源日报 No.300

    microsoft/pyrighthttps://github.com/microsoft/pyright Stars: 12.7k License: NOASSERTION pyright 是一个用于 核心优势包括: 全功能的、基于标准的静态类型检查器 高性能,适用于大型 Python 代码库 包括命令行工具和 Visual Studio Code 扩展 提供在线 Playground,可直接在浏览器中使用 Pyright

    40910编辑于 2024-07-22
  • 来自专栏MasiMaro 的技术博文

    从零开始配置vim(25)——关于 c++ python 的配置

    python 的服务端我们采用 pyright 。还有一个方法可以安装 lsp 服务。我们可以在命令模式中输入 :LspInstallInfo 查看当前已安装的 lsp 服务。 lsp_set_keymap = require("keybindings") local util = require 'lspconfig/util' require('lspconfig').pyright.setup { on_attach = function(_, bufnr) lsp_set_keymap.set_keymap(bufnr) end, cmd = { "pyright-langserver 这里我根据 python 中常用文件给出了一个列表,各位小伙伴可以根据自己的需求自行添加 另外需要注意的一个问题时,pyright 依赖于 node 的 work_threads 模块,该模块从12版本以后才被支持

    1.5K30编辑于 2022-10-27
  • PyCharm 2025.3 发布:uv 成为默认环境管理器!

    新增LSP工具支持:Ruff、ty、Pyright、PyreflyPyCharm进一步拥抱LSP(LanguageServerProtocol)生态,现原生集成以下高性能工具:工具功能Ruff超快lint +format(替代flake8+isort+black子集)ty类型推导与注解建议(轻量级mypy替代)Pyright静态类型检查(微软出品,VSCode同款引擎)Pyrefly实时引用分析&跨文件跳转优化

    56410编辑于 2025-12-10
  • 来自专栏云深之无迹

    热腾腾得Pylance插件

    据介绍称,Pylance 是以微软的静态类型检查工具 Pyright 作为基础开发的全新的语言服务器,利用类型 stubs(.pyi 文件)和惰性类型推断来提供高性能的开发体验。 Pylance代码库不是开源的,但是您可以为Pyright做出贡献,以改进支持Pylance体验的核心键入引擎。 快速开始 从市场上安装Pylance扩展。

    2.1K10发布于 2021-04-14
  • 来自专栏Python七号

    VSCode 最好的 Python 扩展,可大大提升你的生产力

    使用 Pylint 或 Flake8 或 black 支持为代码进行 Linting 在 VS Code 编辑器中调试代码 支持 Jupyter 笔记本、Pytest 2、Pyright Pyright

    2.2K10编辑于 2022-10-25
  • 来自专栏福大大架构师每日一题

    openai-python v1.104.2版本发布:修复Web搜索工具类型别名问题

    参数提示和错误检查 减少运行时错误:在编码阶段捕获类型不匹配的问题,避免它们成为生产环境中的bug 作为文档的一种形式:类型签名本身就可以说明函数的使用方式和参数的期望格式 支持静态分析工具:如mypy、pyright 搜索工具功能的开发者:直接使用WebSearchToolFilters、WebSearchToolUserLocation等类型的用户会在类型检查时遇到错误 使用严格类型检查的项目:配置了严格mypy或pyright v1.104.1中,开发者可能会遇到以下具体问题: 导入错误:尝试从openai.types.responses.tool导入WebSearchToolFilters时出现导入错误 类型检查失败:mypy或pyright 升级后验证 升级后,建议进行以下验证: 检查类型检查是否通过:运行mypy或pyright确保没有类型错误 验证IDE支持:在IDE中检查相关类型是否能正确解析和提示 测试相关功能:实际调用Web搜索工具相关

    16310编辑于 2025-12-18
  • 来自专栏用户7289880的专栏

    时隔多久,微软再出神器,Python这次惨了!

    为了提供更好的用户体验,开发团队基于Microsoft的Pyright静态类型检查工具将Pylance开发为一种全新的语言服务器。 此设置使用Pyright s类型检查分别对代码应用基本或全面的规则集。这种模式产生的诊断可以帮助提高代码质量,并帮助你更容易地找到边界情况。 ?

    1.9K30发布于 2020-07-16
  • PyCharm 2025.3 官宣:uv 成为 Python 新王!

    新增 LSP 工具支持:Ruff、ty、Pyright、Pyrefly PyCharm 进一步拥抱 LSP(Language Server Protocol)生态,现原生集成以下高性能工具: 工具 功能 Ruff 超快 lint + format(替代 flake8 + isort + black 子集) ty 类型推导与注解建议(轻量级 mypy 替代) Pyright 静态类型检查(微软出品,VS

    82610编辑于 2026-02-27
  • 来自专栏站长的编程笔记

    【说站】微软新出Pylance,Python体验获得增强

    为了提供更好的用户体验,开发团队基于Microsoft的Pyright静态类型检查工具将Pylance开发为一种全新的语言服务器。

    76910编辑于 2022-11-23
  • 来自专栏福大大架构师每日一题

    openai-python v1.75.0 震撼发布!O3 & O4-Mini 模型上线,开发者速速升级!

    3.开发者体验提升 • 更新了 Pyright 静态类型检查配置,减少潜在代码错误,提升开发效率。 • 优化了模型切换逻辑,使 O3/O4-Mini 的调用更直观。 开发者必读:如何升级?

    23510编辑于 2025-04-21
  • 开源AI编码代理OpenCode的技术架构与特性

    OpenCode集成了广泛的语言服务器协议(LSP)服务器,涵盖Rust、Swift、Terraform、TypeScript、PyRight等。

    60810编辑于 2026-02-13
  • 来自专栏初代庄主

    rm -rf 是怎么被审计到的

    24 drwxr-xr-x 6 root root 4096 Oct 10 21:07 hello-vue-3 drwx------ 2 root root 4096 Oct 10 20:18 pyright

    96310编辑于 2022-12-19
领券