Static typing - Glossary | MDN

A statically-typed language is a language (such as Java, C, or C++) where variable types are known at compile time. In most of these languages, types must be expressly indicated by the programmer; in other cases (such as OCaml), type inference allows the programmer to not indicate their variable types. This page was last modified on ⁨Jul 11, 2025⁩ by MDN contributors. Your blueprint for a better internet. Visit Mozilla Corporation’s not-for-profit parent, the Mozilla Foundation. Portions of this content are ©1998–⁨2025⁩ by individual mozilla.org contributors. Content available under a Creative Commons license.

Static typing - Glossary | MDN Skip to main content Skip to search Static typing A statically-typed language is a language (such as Java, C, or C++) where variable types are known at compile time. In most of these languages, types must be expressly indicated by the programmer; in other cases (such as OCaml), type inference allows the programmer to not indicate their variable types. See also Type system on Wikipedia Help improve MDN Was this page helpful to you? Yes No Learn how to contribute This page was last modified on Jul 11, 2025 by MDN contributors . View this page on GitHub • Report a p

related reading

• Data types - Rust for C-Programmersrust-for-c-programmers.com
• Type system - Wikipediaen.wikipedia.org
• 2. Variable and Type - CS2030S Programming Methodology IInus-cs2030s.github.io
• Type theory - Wikipediaen.wikipedia.org
• No, dynamic type systems are not inherently more openlexi-lambda.github.io
• TypeScript: Documentation - The Basicstypescriptlang.org
• Constants and statics - Rust for C-Programmersrust-for-c-programmers.com
• Understanding static single assignment formsblog.yossarian.net
• TypeScript: Documentation - TypeScript for the New Programmertypescriptlang.org
• What even is compiler correctness?williamjbowman.com
• Accidentally Turing-Completebeza1e1.tuxen.de
• 4. Encapsulation - CS2030S Programming Methodology IInus-cs2030s.github.io