代码评审技术代码审查（Code Review）是一种用来确认方案设计和代码实现的质量保证机制，它通过阅读代码来检查源代码与编码规范的符合性以及代码的质量。代码审查的作用检查设计的合理性互为 Backup分享知识、设计、技术增加代码可读性处理代码中的“地雷区”Python代码分析工具Pylint 是一个 Python 代码分析工具，它用于分析 Python 代码的错误，查找不符合代码风格标
转载
2023-06-08 21:41:20
162阅读
一、什么是 FlowFlow 是 facebook 出品的 JavaScript 静态类型检查工具
Vue.js 的源码利用了 Flow 做了静态类型检查，所以了解 Flow 有助于我们阅读源码二、为什么用 FlowJavaScript 是动态类型语言，它的灵活性有目共睹，但是过于灵活的副作用是很容易就写出非常隐蔽的隐患代码，在编译期甚至看上去都不会报错，但在运行阶段就可能出现各种奇怪的 bug类
转载
2023-06-19 01:35:16
90阅读
介绍Python 是一种动态类型语言。它在运行时而不是编译时确定数据类型。Python 类型的一些示例包括整数、浮点数、字符串和布尔值。动态类型语言与静态类型语言（如 C++、Java 和 Fortran）形成对比，后者在编译时执行类型检查。动态类型语言（如 Python）的一个优点是程序员不需要为每个声明的变量指定类型。相反，Python 解释器在运行时推断并分配一个类型。与使用静态类型语言（如
转载
2023-08-21 10:01:43
129阅读
众所周知， Python 是一门强类型、动态类型检查的语言。所谓动态类型，是指在定义变量时，我们无需指定变量的类型，Python 解释器会在运行时自动检查。与静态类型语言（如 C 语言）相比，这不仅仅是少写了几个类型声明字符：#include <stdlib.h>
#include <stdio.h>
#define BUFF 100
char* greeting(ch
转载
2023-08-17 15:13:59
99阅读
文章目录静态方法1、Object.getPrototypeOf(obj)2、Object.getOwnPropertyNames(obj)3、Object.keys(obj)4、Object.values(obj)5、Object.defineProperty(obj,propName,desc)6、Object.create(proto,[props])7、Object.getOwnPrope
Python 作为一门动态类型语言，代码灵活度和开发效率都是非常高的。但随着项目代码逐渐变多，函数之间的调用变得更复杂，经常会出现参数或返回值类型不正确等问题。并且这些问题只能在运行时被发现，甚至会产生线上 Bug。那么如何能让 Python 像 Java 或 Go 这样的语言一样，在编译期就进行类型检查呢？从 3.5 版本开始，Python 就能支持静态类型检查了。本文整理自团队的一次内部分享，
转载
2023-09-04 10:20:27
232阅读
为什么使用flow？首先明确一下何为动态类型语言：他指的是代码在运行阶段类型才明确，并且之后允许修改 那么什么是弱类型呢？其实就是存在隐式类型的转换比如console.log(100 + '100') // 100100这里是引用这里会发生隐式类型转换，字符串看到了前面的加号，隐式的转换了数据类型，参与了运算，这些在java这类强类型的语言中是不被允许的JavaScript作为一种动态弱类型的语言
一、简介简介：PhASAR是一个基于LLVM的静态分析框架，用户可以进行数据流分析，框架会帮助进行指向分析、调用图构建。安装：ubuntu下运行如下脚本。# 安装
$ git clone https://github.com/secure-software-engineering/phasar.git
$ sudo ./bootstrap.sh
# 测试：若能获取正常输出，则表示安装正确。
$ p
在支持“类”的面向对象语言中，静态成员指的是那些所有实例对象共有的类成员。静态成员实际是是“类”的成员，而非“对象”的成员。所以如果 MathUtils类中有个叫 max()的静态成员方法，那么调用这个方法的方式应该是这样的：MathUtils.max(3, 5)。1. 公有静态成员JavaScript里并没有“类”的实际语言表示 ，所以也就没有静态成员的语义表示。但由于构造函
转载
2023-07-22 16:20:02
55阅读
Flow ｜一个JavaScript的静态类型检测特性类型接口Flow 使用类型接口查找错误，甚至不需要任何类型声明。 它也能够准确地跟踪变量的类型，就像运行时那样。JS风格Flow 专为 JavaScript 程序员设计。 他能够理解常用 JS 方言和极具动态的特性实时反馈Flow能立刻检测代码变化，在开发 JS 时提供快速不断地反馈Flow文档简单使用mkdir flow
cd flow
np
转载
2021-01-18 12:40:21
208阅读
2评论
1、flow介绍 https://ustbhuangyi.github.io/vue-analysis/prepare/flow.html#为什么用-flow 2、使用 （1）安装flow （2）项目目录的test.js文件 类型推断： 第一行也可以使用,这是使用静态类型检查的2种方式。 在命令行窗
转载
2018-12-10 11:07:00
131阅读
2评论
类型检查(type checking)是指确认任一表达式的类型并保证各种语句符合类型的限制规则的过程。
Java是静态类型检查的语言，可是仍然须要执行期类型检查，并抛出可能的执行时异常。
Wiki:Static type-checking is the process of verifying the type safety of a program based on analysis of
转载
2021-08-06 16:28:02
345阅读
保护Java代码不受可避免的bug影响的最佳方法是使用静态代码分析工具，它可以帮助你在问题代码进入生产环境之前找到并修复问题代码。让我们看看一些流行的静态代码分析工具，它们可以用于从许多不同的角度测试代码。DeepSourceDeepSource为Java提供了最好的静态代码分析。DeepSource Java analyzer检测190多个代码质量问题，包括性能缺陷、安全风险、缺陷风险和反模式。
转载
2023-08-29 17:05:07
0阅读
## Java静态代码检查lint可检查类型
### 1. 介绍
在软件开发过程中，代码质量是非常重要的。好的代码质量可以提高软件的稳定性、可维护性和可读性。而静态代码检查是一种非常重要的代码质量保证手段之一。静态代码检查可以在代码编写过程中发现潜在的问题，并提供相应的修复建议。其中，Java静态代码检查工具lint是非常流行和常用的一种。
lint是一种静态代码检查工具，可以在代码编写过程
9月27日，Mypy发布了新的版本0.730，新增了彩色的、更漂亮的提示输出，Python之父得知后在Twitter上为该团队手动转发+点赞。那么Mypy是什么呢？为何Python之父如此关心？Mypy是Python的静态类型检查器，也就是检查Python各类变量是否类型正确的一个工具。等等，等等，Python不是动态语言吗？动态语言也可以做静态类型检查吗？有必要做静态类型检查吗？我们先回答是否有
本篇来说一下js中的属性：1、静态属性2、原型属性3、实例属性静态属性：1. function klass(){}
2. var obj=new klass();
3. klass.count=0;
4. klass.count++;
5. console.log(obj.count);//undefined
6. console.log(klass.count);//1静态属
转载
2023-06-08 10:35:50
94阅读
态检查一般是检查编码标准规范，错误列表。编码规范往往团队
会根据自己的经验和风格进行设置一些规范。现在很多IDE工具都会
在编辑代码的时候实时的提醒是否符合代码风格。错误列表，一般
是代码潜在的bug，由于某种代码写法虽然没有语法错误，但是可能
存在错误，比如会导致线程死锁。这些都是错误列表应该检查的。
静态检查的可操作方式
1、代码走查
程
转载
2023-09-12 22:29:23
139阅读
在看JS内存机制之前我们先来看一下JS是门什么样的语言，他又有哪些变量类型。动静态，强弱类型静态：在使用之前就需要确认其变量数据类型。动态：在运行过程中需要检查数据类型。强类型：不支持隐式类型转换。弱类型：支持隐式类型转换。而JS呢，则是一种动态弱类型的语言。JS的变量类型JS的变量类型分为8种，注意⚠️：其中Symbol为ES6新增，BigInt为ES11新增类型描述Number基于IEE754
转载
2023-07-31 20:42:55
56阅读
[Flow](https://github.com/facebook/flow/) 是 Facebook 出品的，针对 JavaScript 的静态类型检查工具。它可以帮助捕获 JavaScript 开发中的常见错误，而不需要额外地修改原有的代码，比如静态类型转换，空值引用等问题。同时，Flow 为 JavaScript 添加了静态类型的语法标识，这样开发者便可以明确代码中的类型，让其自动地被 F
转载
2021-05-18 16:34:00
195阅读
2评论
Mypy 0.740 已经发布了，此版本包括许多特性、错误修复和 library stub 更新。Mypy 是处于实验性阶段的 Python 静态类型检查器，旨在结合动态类型和静态类型的优点，将 Python 的表现力和便利性与强大的类型系统和编译时（compile-time）类型检查相结合，提供编译时的类型检查和高效地编译为原生代码，无需使用重量级和耗费 runtime 开销的 Python 虚
