aboutsummaryrefslogtreecommitdiff
path: root/files/ru/glossary/static_typing/index.html
blob: 7fc6c9b278986ebd220e8d03c3fa5b61c5f24f73 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
---
title: Статическая типизация
slug: Glossary/Static_typing
tags:
  - Глоссарий
  - Тип
translation_of: Glossary/Static_typing
original_slug: Глоссарий/Статическая_типизация
---
<p><strong>Статически типизированный</strong> язык — это язык, где типы переменных известны во время компиляции (н-р {{glossary("Java", "Java")}}, C, C++). В большинстве таких языков типы переменных должны быть явно заданы разработчиком. В остальных статически типизированных языках вывод типов (type inference) позволяет не задавать их (н-р OCaml).</p>

<h2 id="Узнать_больше">Узнать больше</h2>

<h3 id="Общая_информация">Общая информация</h3>

<ul>
 <li>{{Interwiki("wikipedia", "Система типов")}} в Википедии</li>
</ul>