【AICon】 如何构建高效的 RAG 系统?RAG 技术在实际应用中遇到的挑战及应对策略?>>> 了解详情
写点什么

刚刚开源的 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:2114344
用户头像

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

关注

评论

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

模块五作业

河马先生

架构实战营

JavaScript 数组元素的一些操作

HoneyMoose

开发一个分布式IM(即时通信)系统!

小傅哥

Netty DDD 小傅哥 即时通信

SpringApplication启动run了啥

Rubble

8月日更

老和云起小游

箭上有毒

8月日更

架构训练营模块五作业

喻高咏        

iOS开发:Xcode报错“Could not insert new outlet connection:Could not find any...”问题的解决方法

三掌柜

8月日更 8月

你真的了解二叉树吗?(树形结构基础篇)

有道技术团队

技术 二叉树 网易

从源码角度解析线程池中顶层接口和抽象类

华为云开发者联盟

Java 线程 软件开发 高并发 线程池

Swift 实现聚光灯动效

fuyoufang

swift 8月日更

架构实战营 模块五 作业

三叔叔_拖延症晚期

模块五作业

VE

架构实战营

【Flutter 专题】63 图解 Flutter 集成极光 JPush 小结

阿策小和尚

Flutter 小菜 0 基础学习 Flutter Android 小菜鸟 8月日更

【LeetCode】反转字符串中的元音字母Java题解

Albert

算法 LeetCode 8月日更

模块5作业

脉动

四种引用类型在Springboot中的使用

4ye

Java spring 后端 springboot 8月日更

20张图带你了解JVM运行时数据区(上)

阿Q说代码

JVM 8月日更 pc寄存器 虚拟机栈 本地方法栈

神策数据微信小程序 SDK 架构解析

神策技术社区

大前端 后端 数据 代码 数据采集

设计微博系统中”微博评论“的高性能高可用计算架构

木云先森

架构训练营

模块五-微博评论“的高性能高可用计算架构

柱林

模块5 作业

SAKIN

手撸二叉树之第二小的节点

HelloWorld杰少

数据结构与算法 8月日更

vue入门:定制自定义指令和过滤器

小鲍侃java

8月日更

百度助力人工智能教育创新:教育部产学合作协同育人项目申报进行中!

百度大脑

人工智能

netty系列之:内置的Frame detection

程序那些事

Java Netty 程序那些事

JNI 提示

Changing Lin

8月日更

架构实战营 - 模块 5 - 微博评论的高性能高可用计算架构

雪中亮

架构实战营 #架构实战营

HBase 原理、Shell、API读写操作

Mike

模块五作业 - 微博评论的高性能高可用计算架构

君子意如何

「架构师训练营第 1 期」

LeetCode题解:27. 移除元素,JavaScript,详细注释

Lee Chen

算法 大前端 LeetCode

fil价格走势分析?fil为什么会大涨?

区块链 分布式存储 IPFS fil价格走势 fil大涨

刚刚开源的Python静态类型检查器:Pyright_编程语言_田晓旭_InfoQ精选文章