blob: a0b5f68e65ecfbcbcc47b75496dd8abab448cedd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
---
title: Typage statique
slug: Glossary/Static_typing
tags:
- Glossaire
- Programmation
- Type
translation_of: Glossary/Static_typing
original_slug: Glossaire/typage_statique
---
<p>Un langage à <strong>typage statique </strong>est un langage (comme Java, C ou C++) avec lequel les types des variables sont connus lors de la compilation et doivent être spécifiés expressément par le programmeur. <span id="result_box" lang="fr"><span>Dans la plupart de ces langages, les types doivent être expressément indiqués par le programmeur ;</span> <span>dans d'autres cas (comme OCaml), l'inférence de type permet au programmeur de ne pas indiquer les types de variables.</span></span></p>
<h2 id="Pour_en_savoir_plus">Pour en savoir plus</h2>
<h3 id="Culture_générale">Culture générale</h3>
<ul>
<li>{{Interwiki("wikipedia", "Type (informatique)")}} sur Wikipédia</li>
</ul>
|