---
id: types
requestedLanguage: en
descriptionLanguage: en
---

# Static Type Checking

- Type: static verification technique
- Group: Verification
- Placement: Verification / Code and model analysis
- [Source](<https://www.typescriptlang.org/docs/handbook/2/basic-types.html>)

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

Check that operations and values obey the type system's rules before the program runs.

## Relationships

- is a form of: [Static Analysis](/practices/static/en.md) (structure)

[Show on the map](https://dpm.cnonim.name/#practice=types&lang=en)