微软发布的 pyright 有哪些功能?
微软本周发布一个小工具:pyright,它是一个静态类型检查器,微软声称 pyright 各方面性能优于同行。
Python 是一个动态语言,代码加载到内存并运行至某行时,变量类型才真正得以确定,如下,在运行至第2行前,编译器不知道 name 的类型为 str.
before()name = 'robot'after()
毋庸置疑,python 这种语法,书写起来相当简洁,不用像 c++,java 等语言那样,必须声明类型。
看待任何事情都要用辩证思维,此处也不例外。简洁的语法,带来了一些副作用,下面用一个最简单的例子说明副作用。
python 的可迭代对象一般都有一个 len 函数,计算里面元素的个数,如果入参为 list, tuple, dict, set 等,它是不会报错的。但是,如果传入10,因为对象10是 int, 显然int 类型没有 len 方法,所以报错!
len(iterable_object)
软件产品要健壮,就必须要适应各种输入实例。像上面说到的,类型不符合预期,调用方法导致系统崩溃,这在实际项目中是不允许的。
为了避免这种类型没有此方法的出错,实际上我们自己可以手写一些代码来避免,比如上面这种情况,可以这么改,判断输入参数obj取值类型是否为可迭代的对象,不是则提示并返回,这种提示方法更加友好。
from collections import abcif isinstance(obj, abc.Iterable) is False: print('%s 不是可迭代的'%str(obj)) return
这种写法无形中会增加很多代码,能用一个框架统一解决这个问题吗?微软的pyright做的就是这个事情。
使用pyright, 代码会简化成这样:
len(iterable_object: abc.Iterable)
以上介绍了 pyright 做什么的,解决了什么问题,如何使用。点击阅读原文了解github开源的这个框架。
图片新闻
最新活动更多
-
11月28日立即报名>>> 2024工程师系列—工业电子技术在线会议
-
11月29日立即预约>> 【上海线下】设计,易如反掌—Creo 11发布巡展
-
11月30日立即试用>> 【有奖试用】爱德克IDEC-九大王牌安全产品
-
即日-12.5立即观看>> 松下新能源中国布局:锂一次电池新品介绍
-
12月19日立即报名>> 【线下会议】OFweek 2024(第九届)物联网产业大会
-
即日-12.26火热报名中>> OFweek2024中国智造CIO在线峰会
发表评论
请输入评论内容...
请输入评论/评论长度6~500个字
暂无评论
暂无评论