---
id: types
requestedLanguage: ru
descriptionLanguage: ru
---

# Static Type Checking

- Тип: техника статической проверки
- Группа: Проверки
- Размещение: Проверки / Анализ кода и моделей
- [Источник](<https://www.typescriptlang.org/docs/handbook/2/basic-types.html>)

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

Проверка согласованности операций и значений с правилами системы типов до выполнения программы.

## Связи

- является формой: [Static Analysis](/practices/static/ru.md) (structure)

[Показать на карте](https://dpm.cnonim.name/#practice=types&lang=ru)