---
title: Static typing（静的型付け）
slug: Glossary/Static_typing
tags:
  - CodingScripting
  - Glossary
  - Type
translation_of: Glossary/Static_typing
---
<p><strong>静的型付け</strong>言語（例えば、Java, C, または C++ ）とは、コンパイル時に変数の型がわかる言語です。静的型付け言語の多くは、プログラマが明示的に型を指定しなければなりませんが、OCamlのように型推論によってプログラマが変数の型を指定しなくてもよい場合もあります。</p>

<h2 id="Learn_more">詳細はこちら</h2>

<h3 id="General_knowledge">一般的な知識</h3>

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