Auto Byte

专注未来出行及智能汽车科技

微信扫一扫获取更多资讯

Science AI

关注人工智能与其他前沿技术、基础学科的交叉研究与融合发展

微信扫一扫获取更多资讯

陈萍、杜伟编译

微软推出的Pylance,随着VS Code的更新,性能又前进了一步

微软推出的 VS Code Python 语言插件 Pylance,给 Python 带来编译语言般的开发支持。对于最近更新的 VS Code 版本,除了保留 Pylance 原始特性外,又引入了新特性。

Pylance 是微软今年推出的 Python 语言服务器,可以利用语言服务器协议与 VS Code 进行通信。Pylance 在 VS Code 中为 Python 提供了快速、特性丰富的语言支持,并依赖于核心的 Python 扩展,从而极大地改善了 VS Code 中的 Python 体验。

随着本月 VS Code 的更新,Pylance 可以执行用户期待已久的操作,将 Python 开发体验带到一个新的水平。在本文中,机器学习工程师 Dimitris Poulopoulos 将为读者介绍 Pylance 的功能以及在新版 VS Code 中的可用最新特性。

Python stub 文件

Pylance 利用类型 stub 文件(.pyi 文件)和惰性类型推断为使用者提供了高效的开发体验。

什么是 stub 文件呢?

Stub 文件为 Python 模块提供类型提示信息。完整的官方信息可以在 PEP-484 中的 Stub-files 章节中找到。例如,下面的 Python 函数存在于 my_function.py 模块:

def add(a, b):   return a + b

我们也可以创建一个新的 stub 文件 my_function.pyi,以提供类型提示:

def add(a: int, b: int) -> int: ...

注意:在 stub 文件中,定义函数末尾的「...」是语法的一部分。

然而,我们可以在 Python 模块中插入类型提示,而不需要创建新的 stub 文件,如下代码所示

def add(a: int, b: int) -> int:   return a + b

问题来了:我们为什么要使用 stub 文件呢?这里有几个原因:例如保持. py 文件向后兼容;向现有代码库中提供类型提示,并希望尽量减少源代码本身的更改等等。

讲完 stub 文件优点,我们再回到 Pylance 本身。stub 文件通过丰富的类型信息增强了 Python IntelliSense 体验,帮助开发者更快地编写代码。更重要的是,Pylance 已经为流行模块提供了一个 stub 集合,其内置的 stub 库提供精确的类型检查以及快速自动补全功能。

Pylance 特性展示

和其他 Python 语言服务器一样,Pylance 也是围绕提升开发效率和体验进行优化。Pylance 特性有很多,下面介绍几个比较重要的特性:

类型信息显示:当你把鼠标悬浮在对应的函数上方时,就可以显示对应的函数文档。

自动导入功能:在使用 Pycharm 的时候,当用到某个包或者模块时,可以通过快捷键 Alt+Enter 快速导入对应的模块。通过 Pylance 也可以实现相同的功能,现在我们可以自动导入已经安装好的标准库模块。

类型检查:类型检查可以帮助我们验证参数在传入函数执行前类型是否正确。Pylance 中类型检查默认是关闭的,需要在设置中启动,操作方法为:设置「python.analysis.typeCheckingMode」为「basic」或者是「strict」。

VS Code 更新引入了 Pylance 新特性

最近,VS Code 更新引入了几个新的 Pylance 特性,其中代码提取和 Pylance Insiders 程序非常重要。

代码提取:我们可以通过单击来提取代码中的方法和变量。

Pylance Insiders:Pylance Insiders 程序,它提供了对新语言服务器特性和改进的早期访问。要启用 insiders,请设置「pylance.insidersChannel」:「daily」。

原文链接:https://towardsdatascience.com/pylance-the-best-python-extension-for-vs-code-ae299f35548c

Powered by Froala Editor

工程微软VS CodePylance
1
相关数据
机器学习技术

机器学习是人工智能的一个分支,是一门多领域交叉学科,涉及概率论、统计学、逼近论、凸分析、计算复杂性理论等多门学科。机器学习理论主要是设计和分析一些让计算机可以自动“学习”的算法。因为学习算法中涉及了大量的统计学理论,机器学习与推断统计学联系尤为密切,也被称为统计学习理论。算法设计方面,机器学习理论关注可以实现的,行之有效的学习算法。

参数技术

在数学和统计学裡,参数(英语:parameter)是使用通用变量来建立函数和变量之间关系(当这种关系很难用方程来阐述时)的一个数量。

推荐文章
暂无评论
暂无评论~