- 综合排序
- 最热优先
- 最新优先
- 来自专栏初代庄主
Python 静态类型检查入门
有了解决方案，问题就解决了一半，剩下的就是要落实；就其它静态类型的语言来说这个比较好办，只需要把数据类型声明为 int / long int 类型就行，编译时就能检查出问题。 对于 Python 的话我们要加一些类型提示(注解)，然后再用专门的静态分析工具去检查，我们的使用方式与类型提示是否一致。那下面就来实操下。 + my_sum(j, k) print("total = {}".format(total)) if __name__ == "__main__": main() 对代码进行静态类型检查 ，可以看到类型检查也过去了。 静态类型检查就能比较好地解决掉这些问题。 事实上我们在真正的开发上并不会，每次都会去运行程序做检查的，vscode 上有方便的插件可以用；不过这是后话了下次再说吧，这篇文章已经有点长了。
58410编辑于 2024-04-22 - 来自专栏前端下午茶
JS 静态类型检查工具 Flow
本文主要介绍了解决JS作为弱类型语言没有类型检查痛点的静态类型检查工具 Flow ，并且介绍了在WebStorm中使用Flow的方法，最后介绍了一些常用的Flow语法。 1. Flow是一个由Facebook出品的JavaScript静态类型检查工具，它与Typescript不同的是，它可以部分引入，不需要完全重构整个项目，所以对于一个已有一定规模的项目来说，迁移成本更小，也更加可行 除此之外，Flow可以提供实时增量的反馈，通过运行Flow server不需要在每次更改项目的时候完全从头运行类型检查，提高运行效率。 } else { return ""; } } stringify("foo"); 任意类型 any 如果你想要一种方法来选择不使用类型检查器，any 是做到这一点的方法。 提升前端开发的体验 Flow静态类型检查及在Vue项目中的使用 如何在项目中使用 flow js
4.1K50发布于 2018-10-22 - 来自专栏程序员
python静态类型检查工具mypy
mypy介绍 mypy 是 Python 的一个可选静态类型检查器，旨在结合动态（或“鸭子”）类型和静态类型的优点。 pip3 install mypy 接下来就可以直接在使用mypy了，例如: mypy type_annotations.py 就可以实现对代码进行静态类型检查，但是前提是你的代码使用了类型注解，否则mypy 例如下面的代码： def add(a:int, b:int) -> int: "整数相加" return a + b add(1, 2) # 静态类型检查通过 add ("123", "qwe") # 静态类型检查失败 使用mypy进行静态类型检查，结果如下所示： test.py:17: error: Argument 1 to "add" has incompatible 如果我们想要上面的代码通过静态类型检查，可以有两种方式。
1.5K10编辑于 2022-05-05 - 来自专栏一路向前端
Flow 静态类型检查开发环境搭建
Flow 是 Facebook 出品的，针对 JavaScript 的静态类型检查工具。 同时，Flow 为 JavaScript 添加了静态类型的语法标识，这样开发者便可以明确代码中的类型，让其自动地被 Flow 所维护。 extends": "eslint:recommended", "parserOptions": { "env": { "es6": true } } } 配置 Flow 静态类型检查 babel-plugin-transform-class-properties eslint-plugin-flowtype-errors 依赖解释： flow-bin：Flow 的二进制包装器—— JavaScript 的静态类型检查器 在 src 目录下新建一个 index.js 文件，编写带有 Flow 静态类型检查代码： /* @flow */ const x: number = 10 function square (x: number
1.6K20发布于 2020-04-21 - 来自专栏Web前端开发
认识 JS 静态类型检查工具 Flow
一、什么是 Flow Flow 是 facebook 出品的 JavaScript 静态类型检查工具 Vue.js 的源码利用了 Flow 做了静态类型检查，所以了解 Flow 有助于我们阅读源码 二 类型检查是当前动态类型语言的发展趋势，所谓类型检查，就是在编译期尽早发现（由类型错误引起的）bug，又不影响代码运行（不需要运行时动态检查类型），使编写 JavaScript 具有和编写 Java 等强类型语言相近的体验 项目越复杂就越需要通过工具的手段来保证项目的维护性和增强代码的可读性，Vue.js 在做 2.0 重构时，在 ES6 的基础上，除了 ESLint 保证代码风格之外，也引入了 Flow 做静态类型检查 之所以选择 Flow，主要是因为 Babel 和 ESLint 都有对应的 Flow 插件以支持语法，可以完全沿用现有的构建配置，非常小成本的改动就可以拥有静态类型检查的能力 三、Flow 与 TypeScript ，在阅读源码的时候，如果遇到某个类型并想了解它完整的数据结构的时候，可以回来翻阅这些数据结构的定义 六、总结 通过对 Flow 的认识，有助于我们阅读 Vue 的源码，并且这种静态类型检查的方式非常有利于大型项目源码的开发和维护
3K10发布于 2020-10-09 - 来自专栏小工匠聊架构
Java 8 - 04 类型检查、类型推断以及限制
为了全面了解Lambda表达式，women 应该知道Lambda的实际类型是什么 . ---- 类型检查 Lambda的类型是从使用Lambda的上下文推断出来的。 类型检查过程可以分解为如下所示。 首先，我们要找出 filter 方法的声明。 第二，要求它是 Predicate （目标类型）对象的第二个正式参数。 Lambda表达式可以从赋值的上下文、方法调用的上下文（参数和返回值），以及类型转换的上下文中获得目标类型 来个小测验 类型检查——为什么下面的代码不能编译呢？ "); }; ---- 类型推断 刚才已经讨论了如何利用目标类型来检查一个Lambda是否可以用于某个特定的上下文。 所以说Lambda可以没有限制地捕获（也就是在其主体中引用）实例变量和静态变量,但是局部变量必须显式声明为 final. 换句话说，Lambda表达式只能捕获指派给它们的局部变量一次。
1.4K10发布于 2021-08-17 - 来自专栏全栈程序员必看
Python静态代码检查工具Flake8
Flake8是对下面三个工具的封装： 1）PyFlakes：静态检查Python代码逻辑错误的工具。 2）Pep8： 静态检查PEP8编码风格的工具，是 Python 代码风格规范，它规定了类似行长度、缩进、多行表达式、变量命名约定等内容 3）NedBatchelder’s McCabe script： 3.2、展示特定错误 假如静态代码检查中想展示项目下的H233特定错误怎么办呢？ 3.3、忽略特定错误码 静态代码检查忽略H233类型错误，设定多个忽略方法同上 flake8 --ignore H233 shadowtest 3.4、忽略特定文件/文件夹 静态代码检查忽略test2. 经过试验：select的优先级比ignore高，两者都含有相同的错误类型下，ignore的这一错误类型的检查会被忽略掉。 假如存在多个配置文件，怎么处理？
2.3K21编辑于 2022-09-30 - 来自专栏全栈程序员必看
Python 进阶 — Flake8 静态代码检查工具
目录 文章目录 目录 Flake8 错误返回码 安装 使用 插件 Flake8 Flake8 是由 Python 官方发布的一款静态代码检查工具（https://pypi.python.org/pypi /flake8/），相对于 PyLint 而言，Flake8 的检查规则灵活，支持集成额外插件，扩展性强。 Flake8 是对下面 3 个工具的封装： PyFlakes：静态检查 Python 代码逻辑错误的工具。 PEP8：静态检查 PEP8 编码风格的工具。 忽略检查 test1.py 文件 flake8 --exclude project_path/path2/test1.py project_path 输出修改格式： flake8 --format=%( path)s::%(row)d,%(col)d::%(code)s::%(text)s project_path 插件 Flake8 相比其他 Python 静态代码检查工具的优势在于其良好的扩展性，以下介绍几款比较流行的插件
2.4K20编辑于 2022-10-03 - 来自专栏向治洪
ESLint静态代码检查
如果每次在代码提交之前都进行一次eslint代码检查，就不会因为某个字段未定义为undefined或null这样的错误而导致服务崩溃，可以有效的控制项目代码的质量。 eslint-disable */，具体可以参考Command line Interface eslint-loader 有时候，我们希望在项目开发的过程当中，每次修改代码都能够自动进行ESLint的检查 因为在我们改代码的过程中去做一次检查，如果有错误，我们就能够很快地去定位到问题并解决问题。这时候我们可以借助eslint-loader插件。
3K20编辑于 2022-11-30 - 来自专栏AI派
资源 | Github项目推荐 | 微软开源Python静态类型检查器Pyright
微软最新开源Python静态类型检查器Pyright，比mypy快5倍 Python语言的静态类型检查器 创建Pyright是为了填补像 mypy 这样的现有Python类型检查器的漏洞。 Github项目地址：（点击链接可直接打开） https://github.com/Microsoft/pyright 速度 Pyright通常比mypy和其他用Python编写的类型检查器快5倍或更多 类型检查功能 Pyright 支持： PEP 484 类型提示，包括泛型 变量注释的 PEP 526 语法 PEP 544 结构子类型 函数返回值、实例变量、类变量和全局变量的类型推断 理解条件代码流构造的智能类型约束 它支持各种功能，包括调试、linter插件、类型检查插件等等。 Pyright完全专注于类型检查。 这是一个没有专门团队的次要项目。 它还提供类型检查功能。 Pyright提供了与之重复的功能，但包括了一些独特的功能，如可配置性更高、命令行执行和更好的性能。
1.3K20发布于 2019-05-05 - 来自专栏AI科技评论
资源 | Github项目推荐 | 微软开源Python静态类型检查器Pyright
微软最新开源Python静态类型检查器Pyright，比mypy快5倍 Python语言的静态类型检查器 创建Pyright是为了填补像 mypy 这样的现有Python类型检查器的漏洞。 Github项目地址：（点击链接可直接打开） https://github.com/Microsoft/pyright 速度 Pyright通常比mypy和其他用Python编写的类型检查器快5倍或更多 类型检查功能 Pyright 支持： PEP 484 类型提示，包括泛型 变量注释的 PEP 526 语法 PEP 544 结构子类型 函数返回值、实例变量、类变量和全局变量的类型推断 理解条件代码流构造的智能类型约束 它支持各种功能，包括调试、linter插件、类型检查插件等等。 Pyright完全专注于类型检查。 这是一个没有专门团队的次要项目。 它还提供类型检查功能。 Pyright提供了与之重复的功能，但包括了一些独特的功能，如可配置性更高、命令行执行和更好的性能。
1.3K20发布于 2019-10-31 - 来自专栏freesan44
OCLint静态代码检查脚本
前言 OCLint是静态代码检查工具，用于检查代码质量 环境部署 网上太多类似教程，可参考 OCLint在Xcode中的使用 OCLint 实现 Code Review - 给你的代码提提质量 脚本 myworkspace=OCLintProject.xcworkspace #填写workspace myscheme=OCLintProject #填写Target reportType=html #输出类型 默认是oclint提供的都支持，可以组合-disable-rule来过滤掉一些规则 规则列表 -disable-rule 需要忽略的规则，根据项目需求设置 -report-type 分析的报告的类型 ，支持[text、html、xml、json、pmd]，差异可见对应Sample； 一般会选择可读性好的html或者pmd；这里我们选取pmd类型，用于结合PMD analysis生成PMD warnings
2.1K10发布于 2021-01-20 - 来自专栏DevOps持续交付
DevOps中的静态检查
增强安全性：一些静态检查工具能够发现代码中的安全漏洞和潜在的恶意代码，提高软件的安全性。 Python语言体系 Pylint：Pylint是一个用于检查Python代码的静态分析工具。它可以检查代码中的错误、查找不符合规范的代码风格，并提供了强大的自定义配置功能。 Flake8：Flake8是一个集成了Pyflakes、PEP8和Ned Batchelder’s McCabe script的Python工具。 它能够检查Python代码的语法错误、风格问题和复杂度。Flake8具有易于使用的命令行界面和丰富的插件生态，可以与其他开发工具集成。 PyChecker：PyChecker是一个相对较旧的Python静态分析工具，但仍然具有一定的实用价值。它可以检测Python代码中的各种错误和问题，如类型错误、逻辑错误等。
2.6K10编辑于 2024-01-21 - 来自专栏AI研习社
Github项目推荐 | 微软最新开源Python静态类型检查器Pyright
微软最新开源Python静态类型检查器Pyright，比mypy快5倍 Python语言的静态类型检查器 创建Pyright是为了填补像 mypy 这样的现有Python类型检查器的漏洞。 Github项目地址：（点击链接可直接打开） https://github.com/Microsoft/pyright 速度 Pyright通常比mypy和其他用Python编写的类型检查器快5倍或更多 类型检查功能 Pyright 支持： PEP 484 类型提示，包括泛型 变量注释的 PEP 526 语法 PEP 544 结构子类型 函数返回值、实例变量、类变量和全局变量的类型推断 理解条件代码流构造的智能类型约束 它支持各种功能，包括调试、linter插件、类型检查插件等等。 Pyright完全专注于类型检查。 这是一个没有专门团队的次要项目。 它还提供类型检查功能。 Pyright提供了与之重复的功能，但包括了一些独特的功能，如可配置性更高、命令行执行和更好的性能。
1.6K20发布于 2019-05-08 - 来自专栏技术墨客
React Flow代码静态检查
Flow Flow是Facebook开源的静态代码检查工具，他的作用是在运行代码之前对React组件以及Jsx语法进行静态代码的检查以发现一些可能存在的问题。 extends React.Component { 6│ render(){ 7│ return (
MyComponent) 8│ React组件参数检查 React组件参数检查介绍了React通过PropType机制限定使用者使用组件传递的参数类型以及范围，但是PropType是一种运行检测机制，在程序跑起来之后获取到具体数据才会执行检查 而Flow是静态检查，是在代码编译运行之前进行一次检查，两者相辅相成互不干扰。 除了前面的例子中给出的各种类型参数，Flow还有更丰富的检查功能，查看 这里 以了解更多内容。1.2K40发布于 2018-08-03 - 来自专栏技术墨客
React——Flow代码静态检查 转
Flow Flow是Facebook开源的静态代码检查工具，他的作用是在运行代码之前对React组件以及Jsx语法进行静态代码的检查以发现一些可能存在的问题。 extends React.Component { 6│ render(){ 7│ return (
MyComponent) 8│ 而Flow是静态检查，是在代码编译运行之前进行一次检查，两者相辅相成互不干扰。 本文就不一一介绍了，有需要的码友可以按照下面的资源清单去了解相关的内容： React事件 Refs引入对象 子组件列表 高阶组件参数 Redux整合 类型检查扩展 Flow会检查所有的JavaScript 除了前面的例子中给出的各种类型参数，Flow还有更丰富的检查功能，查看 这里 以了解更多内容。1.5K10发布于 2018-08-15 - 来自专栏zinyan
Groovy 类型检查扩展，最终篇 高级类型检查扩展
让我们解释第一点，也就是说即使使用扩展，编译器也不知道如何静态编译我们的代码:从技术上讲，即使我们告诉类型检查器动态变量的类型是什么，例如，它也不知道如何编译它。 即使使用类型检查扩展，也绝对没有直接的方法告诉静态编译器如何编译这样的代码(同样，这只会给出关于类型的提示)。 对于这个特殊示例，一个可能的解决方案是指示编译器使用混合模式编译。 想象一个能够对SQL查询进行类型检查的扩展。在这种情况下，扩展在动态和静态上下文中都是有效的，因为没有扩展，代码仍然可以通过。 2.6 混合模式编译 在上面中，我们强调了可以使用@CompileStatic激活类型检查扩展。在这种情况下，类型检查器不会再抱怨一些未解析的变量或未知的方法调用，但它仍然不知道如何静态编译它们。 :该模板引擎依赖于类型检查扩展和AST转换来将模板转换为完全静态编译的代码。
1.5K20编辑于 2023-02-23 - 来自专栏bit哲学院
CC++静态代码安全检查工具
最后通过对静态代码安全检查工具优缺点的比较，给出了一些提高安全检查效果的建议。 1 C/C++ 语言静态代码安全检查工具 静态代码安全检查工具的工作类似于软件测试中的静态测试。 2 C/C++ 语言静态代码安全检查原理分析 静态代码安全检查的工作过程是：首先读入不安全函数列表，然后先对欲扫描的源程序进行词法分析。 、2、5、6、7、8 行）。 但是代码检查非常耗费时间，而且静态代码安全检查需要知识和经验的积累。对较复杂的问题，静态代码安全检查工具很可能检查不出来。所以，一方面强烈建议程序员时刻保持高质量程序设计的思想，进行主动防错设计。
2.3K20发布于 2021-02-19 - 来自专栏程序技术知识
js检查数据类型
javascript数据类型和typeof运算符并不完美。很多时候都不是我们预想的结果， 例如，对于数组和null，返回“object”。 如果想要检查原始数据类型之外的任何内容，我们可能一些额外的检查技巧，例如判断构造函数。 String 字符串总是一个字符串，所以检查字符串很简单。 undefined function isUndefined (value) { return typeof value === 'undefined'; } Boolean 对于boolean typeof检查符也足够用来检查了 对于它们来说，一个instanceof语句就足够了，但是为了确保我们还检查了错误具有的“message”属性。 == 'undefined'; } Date Date在javascript中并不是真正的数据类型。但是要知道某个对象是否是Date对象，可以使用instanceof进行检查。
3.7K10编辑于 2022-02-08 - 来自专栏偏前端工程师的驿站
编译期类型检查 in ClojureScript
前言 话说"动态类型一时爽，代码重构火葬场"，虽然有很多不同的意见(请参考)，但我们看到势头强劲的TypeScript和Flow.js，也能感知到静态类型在某程度上能帮助我们写出更健壮的代码（当然要基于充分的单元测试上啦 ClojureScript与JavaScript一样采取动态类型，但由于需要通过Google Closure Compiler编译后才能运行，因此我们可以如同JS那样借助GCC的注解来引入编译时类型检查 ，达到同样静态类型的效果。 配置项目设置 GCC的编译时类型检查仅当optimizations为simple或advanced时有效。 :source-map "resources/public/js/type_check.js.map" :closure-warnings ;; 设置GCC编译时类型检查
1.2K20发布于 2018-07-11
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号