分类：类型检查

2020
10-30

4款Python 类型检查工具,你选择哪个呢？

微软在Github上开源了一个Python静态类型检查工具：pyright，引起了社区内的多方关注。微软在开源项目上的参与力度是越来越大了，不说收购Github这种大的战略野心，只说它家开源的VSCode编辑器，在猿界已经割粉无数，连我们Python圈的红人KennethReitz（多个开源项目的作者，包括requests、requests-html、responder等）都对它赞不绝口。如今开源的Pyright，口碑还不错，那我们就来看看它有啥本事，顺便再介绍其... 继续阅读 >

2020
10-10

TypeScript 运行时类型检查补充工具

TypeScript是静态类型系统，在编译时做类型检查。一般而言，如果项目所用到的所有库、模块都是基于ts的，那么静态类型已经可以避免大部分编程层面的类型问题。不过，在一些场景下来，单纯静态类型是无法解决问题的，部分数据是动态传入到系统中的，主要包含场景如下：第三方数据源（接口API、本地持久化存储、postMessage等）第三方调用者传参全局状态变更当然，还有其他可能，总之，单纯靠静态类型检查，无法解决运行时类型... 继续阅读 >

2020
09-24

vue项目配置使用flow类型检查的步骤

你是否经常在debug那些简单可避免的bug？可能你给函数传参的时候搞错了参数的顺序，或者本来应该传个Number类型的参数，你传了一个String类型？JavaScript的弱类型是这一类bug的罪魁祸首，静态类型语言中不存在此类bug。Flow就是JavaScript的静态类型检查工具，该库的目标在于检查JavaScript中的类型错误，开发者通常不需要修改代码即可使用，故使用成本很低。同时，它也提供额外语法支持，使得开发者能更大程度地发挥Flow的作用。... 继续阅读 >