blob: 3ae8e50b79b8293fbb2ebe26418df268ac46795c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
---
title: Typage statique
slug: Glossary/Static_typing
tags:
- Glossaire
- Programmation
- Type
translation_of: Glossary/Static_typing
original_slug: Glossaire/typage_statique
---
Un langage à **typage statique** 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. Dans la plupart de ces langages, les types doivent être expressément indiqués par le programmeur ; dans d'autres cas (comme OCaml), l'inférence de type permet au programmeur de ne pas indiquer les types de variables.
## Pour en savoir plus
### Culture générale
- {{Interwiki("wikipedia", "Type (informatique)")}} sur Wikipédia
|
