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
Explore this link on the map →related reading
- 2. Variable and Type - CS2030S Programming Methodology IInus-cs2030s.github.io
- Type system - Wikipediaen.wikipedia.org
- No, dynamic type systems are not inherently more openlexi-lambda.github.io
- Reading 1: Static Checkingweb.mit.edu
- Reading 1: Static Checkingweb.mit.edu
- "We're building a new static type checker for Python" | Hacker Newsnews.ycombinator.com
- TypeScript: Documentation - The Basicstypescriptlang.org
- GitHub - typst/typst: A markup-based typesetting system that is powerful and easy to learn. · GitHubgithub.com
- Learn X in Y Minutes: Scenic Programming Language Tourslearnxinyminutes.com
- TypeScript: Documentation - TypeScript for the New Programmertypescriptlang.org
- Monkeytype | A minimalistic, customizable typing testmonkeytype.com
- Scala (programming language) - Wikipediaen.wikipedia.org