flâneur — a map of the web's best reading

Static typing - Glossary | MDN

developer.mozilla.org · 111 words · saved by 1 readers

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