---
title: Tipificación estática
slug: Glossary/Tipificación_estática
tags:
  - CodingScripting
  - Glossary
  - Type
translation_of: Glossary/Static_typing
---
<p>Un lenguaje de <strong>tipo estático </strong>es un lenguaje (como Java, C, o C++) en donde los tipos de variables se conocen en tiempo de compilación. En la mayoria de estos lenguajes, los tipos deben ser expresamente indicados por el programador; en otros casos (como en OCaml), la inferencia de tipos permite al programador no indicar sus tipos de variables.</p>

<h2 id="Learn_more">Learn more</h2>

<h3 id="General_knowledge">General knowledge</h3>

<ul>
 <li>{{Interwiki("wikipedia", "Type system")}} on Wikipedia</li>
</ul>