statically typed language

[/stætɪkli taɪpt ˈlæŋɡwɪdʒ/]
nounpl: statically typed languages
linguagem de tipagem estática
1. A programming language in which variable types are checked and determined at compile time rather than at runtime
Java is a statically typed language where you must declare the type of each variable before using it.
Java é uma linguagem de tipagem estática onde você deve declarar o tipo de cada variável antes de usá-la.
2. A language that requires explicit type declarations and performs type checking before execution
In a statically typed language like C++, the compiler catches type errors before the program runs.
Em uma linguagem de tipagem estática como C++, o compilador detecta erros de tipo antes do programa ser executado.
This is technical terminology used universally in software development communities across both Brazil and the USA. In Brazilian tech education and industry, 'linguagem de tipagem estática' is the standard term. The concept emphasizes code safety and is particularly valued in enterprise and systems programming contexts.
Synonyms / Sinônimos
strongly typed languagecompile-time typed languageexplicitly typed language
Antonyms / Antônimos
dynamically typed languageweakly typed languageruntime typed language

Regional Variations

General Brazilian
linguagem de tipagem estática
Standard term used in Brazilian tech industry and education
São Paulo
linguagem estaticamente tipada
Alternative phrasing more commonly used in São Paulo tech hubs
Portugal
linguagem de tipo estático
Portuguese variant, slightly different word order

Related Words

type checkingtype inferencecompilervariable declarationruntimecompile time

Related Idioms & Phrases

type-safe language
catch errors at compile time
Look up more words on Fala2Me
The free English-Portuguese dictionary with real Brazilian accents, NYC slang, conjugator and more
Open Fala2Me →