搜索[静态类型语言]结果-低调大师优秀个人博客

精选列表

搜索[静态类型语言]，共10016篇文章

SpringBoot2更换Tomcat为Jetty，小型站点的福音

Jetty是使用Java语言编写的，它的API以一组JAR包的形式发布。

2025-09-05

面试大杂烩

JDK1.8新特性特性主要目的核心优点 Lambda 表达式实现函数式编程代码简洁，避免匿名内部类模板代码函数式接口为 Lambda 提供类型定义明确的目标类型，内置常用接口 Stream

2025-09-18

Go语言详解lab4-语言数据类型

3.Go语言数据类型这是接着Go语言学习笔记3讲的一篇，还是主要介绍Go语言数据类型。主要如下： 3.5 函数和方法在Go语言中，函数类型是一等类型，可以把函数当做一个值来传递和使用。

2021-03-29

ElasticSearch 动态映射和静态映射，以及四种字段类型

@[toc] ElasticSearch 系列教程我们前面已经连着发了三篇了，今天第四篇，我们来聊一聊 Es 中的动态映射、静态映射以及四种不同的字段类型。

2020-11-30

寻找适合编写静态分析规则的语言

本文分享自华为云社区《寻找适合编写静态分析规则的语言》，作者：Uncle_Tom。 1.

2024-07-05

TypeScript 里用 satisfies 保留字面量类型，同时做静态校验

在写 TypeScript 的时候，我经常遇到一个很别扭的情况：想给一个对象声明类型，让每个属性值都被推断成具体的字面量，而不是被拓宽成 string、number 这种宽泛类型。

2026-09-30

Haxe 4.3 发布，高级严格类型编程语言

Haxe 是开源的高级严格类型编程语言，具有快速且经过优化的交叉编译器。

2023-04-09

Go语言学习12-类型转换

类型转换 1. 概念类型转换是把一个类型的值转换成为另一个类型的值。把这个值原来的类型称为源类型，而这个值被转换后的类型称为目标类型。

2021-04-29

Go语言学习7-函数类型

3.Go语言数据类型上篇我们了解了Go语言的字典类型，本篇主要了解函数和方法。主要如下： 3.5 函数和方法在Go语言中，函数类型是一等类型，可以把函数当做一个值来传递和使用。

2021-03-29

Go 语言中的类型断言是什么？

Type Assertion Type Assertion（中文名叫：类型断言），通过它可以做到以下几件事情 1.检查 i 是否为 nil 2.检查 i 存储的值是否为某个类型具体的使用方式有两种：

2020-05-11

PMD 6.25.0 发布，跨语言静态代码自动分析工具

lt;/version> </dependency> 新的规则包括：新的 Java 规则UnnecessaryCast（java-codestyle）查找访问集合元素时不必要的强制类型转换

2020-06-27

PMD 6.24.0 发布了。PMD 是一个代码分析器，能够帮助发现常见的编程问题，比如未使用的变量、空的 catch 块、不必要的对象创建等等。最初仅支持 Java 代码，目前还可支持 JavaScript、Salesforce.com Apex 和 Visualforce、PLSQL、Apache Velocity、XML 和 XSL 。值得注意的更新内容包括： CPD 现在也支持 XML CPD 现在也可以在 XML 文件中查找重复项。更新了 PMD Designer 此 PMD 版本发布了 pmd-designer 的新版本。新的规则新的 Java 规则LiteralsFirstInComparisons(java-bestpractices)查找字符串文字，用于对比。该规则取代了两个旧规则PositionLiteralsFirstInComparisons 和PositionLiteralsFirstInCaseInsensitiveComparisons，并扩展了对compareTo、compareToIgnoreCase和contentEquals方法的检查。此版本还带来不少 bug 修复，详情见更新说明： https://github.com/pmd/pmd/releases/tag/pmd_releases%2F6.24.0

2020-05-24

PMD 6.19.0 发布，跨语言静态代码自动分析工具

PMD 6.19.0 发布了。PMD 是一个代码分析器，能够帮助发现常见的编程问题，比如未使用的变量、空的 catch 块、不必要的对象创建等等。最初仅支持 Java 代码，目前还可支持 JavaScript、Salesforce.com Apex 和 Visualforce、PLSQL、Apache Velocity、XML 和 XSL 。值得注意的更新内容包括：更新了PMD Designer 此 PMD 版本发布了 pmd-designer 的新版本 Java Metrics 添加了新的度量标准“Class Fan Out Complexity” 修改后的规则 Java 规则 InvalidLogMessageFormat 和 MoreThanOneLogger (java-errorprone)现在都支持 Log4j2 Java 规则 LawOfDemeter (java-design) 现在也忽略了 Builders，即没有分配给局部变量，而是直接在方法调用链中使用 Java 规则 DataflowAnomalyAnalysis (java-errorprone) 不检查 UR 异常（未定义，然后引用） Java 规则 DoNotUseThreads (java-multithreading) 已更改，不再报告 java.lang.Runnable 的使用情况此版本还修复了不少 bug，详情可查看更新说明。

2019-11-03

Facebook新推出AL语言，意在简化程序静态分析

AL是一种易用的声明式编程语言，适用于抽象语法树（AST）推理，使开发人员可以扩展Facebook Infer静态分析器的功能。

2017-07-03

PMD 6.40.0 发布，多语言静态代码自动分析工具

PMD 6.40.0 正式发布，本次更新内容如下：更新的 Apex 支持 Apex 语言支持已经升级到 54.0 版本；新规则新的 Apex 规则 EagerlyLoadedDescribeSObjectResult

2021-10-31

PMD 6.39.0 发布，多语言静态代码自动分析工具

PMD 是一个代码分析器，能够帮助发现常见的编程问题，比如未使用的变量、空的 catch 块、不必要的对象创建等等。最初仅支持 Java 代码，目前还可支持 JavaScript、Salesforce.comApex 和 Visualforce、PLSQL、Apache Velocity、XML 和 XSL 。 PMD 6.39.0 正式发布，本次更新内容如下：修复的问题 core #3499: [core] 使用组合节点测试修复 XPath 规则链 java-errorprone #3493: [java] AvoidAccessibilityAlteration: 添加测试并修复规则 javascript #3516: [javascript] NPE 在指定显式行号时创建规则违规 plsql #3487: [plsql] 解析异常 OPEN ref_cursor_name FOR 语句 #3515: [plsql] 在分析 Associative Arrays Types 上的 SELECT...INTO 时，解析异常统计数据 37 次提交 10 个已关闭的 tickets 和 PR 自上次发布以来的天数：27 更多详情可查看：https://github.com/pmd/pmd/releases/tag/pmd_releases%2F6.39.0

2021-09-25

PMD 6.36.0 发布，多语言静态代码自动分析工具

PMD 6.36.0 正式发布，本次更新内容如下：改进的增量分析长期以来，增量分析一直帮助我们的用户获得了更快的分析结果，然而，它的实现在检测运行时和类型解析类路径的变化时往往过于谨慎，产生不必要的缓存失效

2021-06-28

PMD 6.35.0 发布，多语言静态代码自动分析工具

MutableStaticState](<https://pmd.github.io/pmd-6.35.0/pmd_rules_java_design.html#mutablestaticstate>) 查找非最终的非私有静态字段

2021-05-31

PMD 6.34.0 发布，多语言静态代码自动分析工具

修正的问题 apex-performance OperationWithLimitsInLoopRule: 支持更多限制消耗的静态方法调用 apex-security ApexCRUDViolationRule

2021-04-25

PMD 6.33.0 发布，多语言静态代码自动分析工具

可以有更详细的例子； #3155: [java] GuardLogStatement：未加防护的方法调用时出现漏报； #3160: [java] MethodReturnsInternalArray 不考虑静态最终字段和以空数组初始化的字段

2021-03-28

PMD 6.26.0 发布，多语言静态代码自动分析工具

PMD 6.26.0 发布了。PMD 是一个代码分析器，能够帮助发现常见的编程问题，比如未使用的变量、空的 catch 块、不必要的对象创建等等。最初仅支持 Java 代码，目前还可支持 JavaScript、Salesforce.com Apex 和 Visualforce、PLSQL、Apache Velocity、XML 和 XSL 。这是一个小的更新版本，处理了156 项 commit，关闭了43 项 PR，主要更新内容包括：新规则：新的 Java 规则UnusedAssignment(java-bestpractices)查找从未使用过且无用的变量分配。新规则应该被完全取代 DataflowAnomalyAnalysis。修改的规则：现在 Java 规则ArrayIsStoredDirectly(java-bestpractices) 默认会忽略私有方法和构造函数，可以通过将新属性设置 allowPrivate为“false”来还原旧行为。此外修复了一些 bug，并有 API 变更，详情查看更新说明： https://github.com/pmd/pmd/releases/tag/pmd_releases%2F6.26.0

2020-07-25

资源下载

更多资源

腾讯云软件源

为解决软件依赖安装时官方源访问速度慢的问题，腾讯云为一些软件搭建了缓存服务。您可以通过使用腾讯云软件源站来提升依赖包的安装速度。为了方便用户自由搭建服务架构，目前腾讯云软件源站支持公网访问和内网访问。

Nacos

Nacos /nɑ:kəʊs/ 是 Dynamic Naming and Configuration Service 的首字母简称，一个易于构建 AI Agent 应用的动态服务发现、配置管理和AI智能体管理平台。Nacos 致力于帮助您发现、配置和管理微服务及AI智能体应用。Nacos 提供了一组简单易用的特性集，帮助您快速实现动态服务发现、服务配置、服务元数据、流量管理。Nacos 帮助您更敏捷和容易地构建、交付和管理微服务平台。

Sublime Text

Sublime Text具有漂亮的用户界面和强大的功能，例如代码缩略图，Python的插件，代码段等。还可自定义键绑定，菜单和工具栏。Sublime Text 的主要功能包括：拼写检查，书签，完整的 Python API ， Goto 功能，即时项目切换，多选择，多窗口等等。Sublime Text 是一个跨平台的编辑器，同时支持Windows、Linux、Mac OS X等操作系统。

WebStorm

WebStorm 是jetbrains公司旗下一款JavaScript 开发工具。目前已经被广大中国JS开发者誉为“Web前端开发神器”、“最强大的HTML5编辑器”、“最智能的JavaScript IDE”等。与IntelliJ IDEA同源，继承了IntelliJ IDEA强大的JS部分的功能。