aboutsummaryrefslogtreecommitdiff
path: root/files/fr/glossaire/typage_statique/index.html
blob: c5e3902bf13e50455cef98872c89e5ac38d44169 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
---
title: Typage statique
slug: Glossaire/typage_statique
tags:
  - Glossaire
  - Programmation
  - Type
translation_of: Glossary/Static_typing
---
<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>