aboutsummaryrefslogtreecommitdiff
path: root/files/fr/glossary/static_typing/index.html
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>