|
|
@ -1,27 +1,50 @@
|
|
|
|
# OpenIM Typecheck
|
|
|
|
# OpenIM Typecheck: Cross-Platform Source Code Type Checking for Go
|
|
|
|
|
|
|
|
|
|
|
|
OpenIM Typecheck 为所有 Go 构建平台进行跨平台源代码类型检查。
|
|
|
|
## Introduction
|
|
|
|
|
|
|
|
|
|
|
|
## 优点
|
|
|
|
OpenIM Typecheck is a robust tool designed for cross-platform source code type checking across all Go build platforms. This utility leverages Go’s built-in parsing and type-check libraries (`go/parser` and `go/types`) to deliver efficient and reliable code analysis.
|
|
|
|
|
|
|
|
|
|
|
|
- **速度**:OpenIM 完整编译大约需要 3 分钟,而使用 Typecheck 只需数秒。
|
|
|
|
## Advantages
|
|
|
|
- **资源消耗**:与需要 >40GB 的 RAM 不同,Typecheck 只需 <8GB 的 RAM。
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
## 实现
|
|
|
|
- **Speed**: A complete compilation with OpenIM can take approximately 3 minutes. In contrast, OpenIM Typecheck achieves this in mere seconds, significantly enhancing productivity.
|
|
|
|
|
|
|
|
- **Resource Efficiency**: Unlike the typical requirement of over 40GB of RAM for standard processes, Typecheck operates effectively with less than 8GB of RAM. This reduction in resource consumption makes it highly suitable for a variety of systems, reducing overheads and facilitating smoother operations.
|
|
|
|
|
|
|
|
|
|
|
|
OpenIM Typecheck 使用 Go 内置的解析和类型检查库 (`go/parser` 和 `go/types`)。然而,这些库并不是 go 编译器所使用的。偶尔会出现不匹配的情况,但总的来说,它们是相当接近的。
|
|
|
|
## Implementation
|
|
|
|
|
|
|
|
|
|
|
|
## 错误处理
|
|
|
|
OpenIM Typecheck employs Go's native parsing and type-checking libraries (`go/parser` and `go/types`). However, it's important to note that these libraries aren't identical to those used by the Go compiler. While occasional mismatches may occur, these libraries generally provide close approximations to the compiler's functionality, offering a reliable basis for type checking.
|
|
|
|
|
|
|
|
|
|
|
|
如果错误不会阻止构建,可以忽略。
|
|
|
|
## Error Handling
|
|
|
|
|
|
|
|
|
|
|
|
**`go/types` 报告的错误,但 `go build` 不会**:
|
|
|
|
Typecheck's approach to error handling is pragmatic, focusing on practicality and build continuity.
|
|
|
|
- **真正的错误**(根据规范):
|
|
|
|
|
|
|
|
- 应尽量修复。如果无法修复或正在进行中(例如,已被外部引用的代码),则可以忽略。
|
|
|
|
|
|
|
|
- 例如:闭包中的未使用变量
|
|
|
|
|
|
|
|
- **不真实的错误**:
|
|
|
|
|
|
|
|
- 应忽略并在适当的情况下向上游报告。
|
|
|
|
|
|
|
|
- 例如:staging 和 generated 类型之间的类型检查不匹配
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
**`go build` 报告的错误,但我们不会**:
|
|
|
|
**Errors reported by `go/types` but not by `go build`**:
|
|
|
|
- CGo 错误,包括语法和链接器错误。
|
|
|
|
- **Actual Errors** (as per the specification):
|
|
|
|
|
|
|
|
- These should ideally be rectified. If rectification is not feasible, such as in cases of ongoing work or external dependencies in the code, these errors can be overlooked.
|
|
|
|
|
|
|
|
- Example: Unused variables within a closure.
|
|
|
|
|
|
|
|
- **False Positives**:
|
|
|
|
|
|
|
|
- These errors should be ignored and, where appropriate, reported upstream for resolution.
|
|
|
|
|
|
|
|
- Example: Type mismatches between staging and generated types.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
**Errors reported by `go build` but not by us**:
|
|
|
|
|
|
|
|
- CGo-related errors, including both syntax and linker issues, are outside our scope.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
## Usage
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
### Locally
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
To run Typecheck locally, simply use the following command:
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
```bash
|
|
|
|
|
|
|
|
make verify
|
|
|
|
|
|
|
|
```
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
### Continuous Integration (CI)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
In CI environments, Typecheck can be integrated into the workflow as follows:
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
```yaml
|
|
|
|
|
|
|
|
- name: Typecheck
|
|
|
|
|
|
|
|
run: make verify
|
|
|
|
|
|
|
|
```
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
This streamlined process facilitates efficient error detection and resolution, ensuring a robust and reliable build pipeline.
|