现场实操破解开发瓶颈,「2023 百度云智大会·智算大会 开发者沙龙」不容错过! 了解详情
写点什么

刚刚开源的 Python 静态类型检查器:Pyright

  • 2019-03-24
  • 本文字数:617 字

    阅读完需:约 2 分钟

刚刚开源的Python静态类型检查器:Pyright

近日,开发者 msfterictraut 在 GitHub 上提交了一个名为 Pyrignt 的开源项目,这是一个 Python 的静态类型检查器,主要是为了解决 mypy 等现有的 Python 类型检查器无法解决的问题。


Pyright 的编写语言是 TypeScript,可在节点内运行,适用于大型 Python 源代码库,不需要安装 Python 环境或导入的第三方软件包,在与 VS Code 编辑器一起使用时,使用节点作为其扩展运行时。


相比于 mypy 等其它类型的检查器,Pyright 的速度可以达到 5 倍甚至更多,在“watch”模式下运行,在修改文件时执行快速增量更新。


Pyright 提供以下语言服务功能:


  • 悬停显示类型信息的工具提示

  • 符号定义的链接

  • 在编辑期间智能优先级排队“实时”反馈


Pyright 实现了一种服务,可为语言服务器提供一个接口,当其拥有一个程序实例之后,将会跟踪配置文件和所有构成分析基础的源文件,跟踪多个 sourceFile 对象。每个源文件代表磁盘上一个 Python 源文件的内容,文件的整个分析状态,例如分析的每个中间结果、最终结果以及产生的诊断(警告和错误)都会一一跟踪到。同时,程序也会通过 importResolver 来解析每个源文件中引用的导入模块。


与微软官方支持的 Microsoft Python 语言服务器相比,Pyright 的特点在于其提供了一些独特的功能,如更多的可配置性、命令行执行和更好的性能。目前,Pyright 只发布了 1.0.1 版本,还处于需要大家积极建设贡献的阶段,感兴趣的小伙伴可以点击下方 GitHub 地址。


Pyright GitHub 地址:https://github.com/Microsoft/pyright


2019-03-24 17:2114308
用户头像

发布了 497 篇内容, 共 302.1 次阅读, 收获喜欢 1896 次。

关注

评论

发布
暂无评论
发现更多内容

未来直播 “神器”,像素级视频分割是如何实现的 | CVPR 冠军技术解读

阿里云视频云

阿里云 算法 计算机视觉 音视频

已拿到6个Offer!主动分享成功秘籍:阿里巴巴Java面试参考指南(2021最新版)

比伯

Java 架构 面试 程序人生 技术宅

一个数组通过配置随机抽取组成小数组

waitmoon

Java

CountDownLatch:别浪,等人齐再团!

王磊

Java 多线程

三天研读《中兴电路设计规范》精华总结

不脱发的程序猿

28天写作 电路设计 3月日更 中兴 中兴电路设计规范

EGG NETWORK阿凡提公链全新一代算法稳定币之王EFTalk

币圈那点事

理解reflect elem和value的一段测试代码

werben

Go 语言

用 Go + WebSocket 快速实现一个 chat 服务

万俊峰Kevin

websocket go-zero Go 语言

Sentinel的注解支持 - @SentinelResource使用详解

麦洛

sentinel SpringCloud Alibaba

优秀软件设计的特征

这就是编程

第9周作业

猫。

跟我学丨如何用鲲鹏服务器搭建Hadoop全分布式集群

华为云开发者联盟

hadoop 服务器 集群 鲲鹏 Hadoop全分布式集群

UUID不失精度,长度改进

waitmoon

Java uuid

在项目启动时(无request)获取Tomcat端口号

waitmoon

Java

【译】ECMAScript 2021: 最终功能集确定

清秋

JavaScript ecmascript 翻译 ES6 新闻

腾讯游戏实时计算应用平台建设实践

Apache Flink

flink

从两个模型带你了解DAOS 分布式异步对象存储

华为云开发者联盟

开源 对象存储 存储 分布式异步对象存储 NVM

源码分析:Redisson分布式锁过程分析

程序员架构进阶

redis 源码分析 分布式锁 28天写作 3月日更

BOE(京东方)首度披露“千亿级西南战略” 全面布局物联生态

爱极客侠

【无偿分享】史上最全Python学习大礼包 限24h删

sum56

Python Python基础 python入门 python学习 python资料

NetCore的缓存使用详例

happlyfox

缓存 学习 netcore 3月日更

Tensorflow实现Transformer模型将葡萄牙语翻译成英语

AI_robot

加码技术破圈创新,蚂蚁金融科技助力各行各业转型升级

Lily

JVM 诊断之 jstat 工具使用

hepingfly

Java JVM jvm调优 jstat

浅论指针(三)

Integer

c 指针

[译文] 用故事点数评估开发工作真的好吗?

LigaAI

项目管理 程序人生 敏捷开发

Spring Boot集成 Sentinel 实现接口流量控制

麦洛

微服务 sentinel spring cloud alibaba

已助我拿到8个Offer!阿里巴巴Java面试参考指南(泰山版)

Java架构追梦

Java 编程 架构 面试 阿里巴巴泰山版

产品训练营--第六期作业

曦语

产品训练营

智慧派出所管理系统,派出所指挥调度平台搭建

随机数环设想

waitmoon

Java

  • 扫码添加小助手
    领取最新资料包
刚刚开源的Python静态类型检查器:Pyright_编程语言_田晓旭_InfoQ精选文章