---
id: types
requestedLanguage: zh
descriptionLanguage: zh
---

# 静态类型检查 · Static Type Checking

- 类型: 静态验证技术
- 分组: 验证
- 位置: 验证 / 代码与模型分析
- [来源](<https://www.typescriptlang.org/docs/handbook/2/basic-types.html>)

[HTML](https://dpm.cnonim.name/zh/practices/types/)

在程序运行之前，检查操作和值是否符合类型系统的规则。

## 关系

- 是其一种形式: [静态分析 · Static Analysis](/practices/static/zh.md) (structure)

[在地图上显示](https://dpm.cnonim.name/#practice=types&lang=zh)