type theory
[/taɪp ˈθiːəri/]
noun
teoria dos tipos
1. A formal system in mathematical logic and computer science that classifies expressions into categories (types) to prevent certain logical contradictions and errors
Type theory provides a foundation for functional programming languages like Haskell.
A teoria dos tipos fornece uma base para linguagens de programação funcional como Haskell.
2. A branch of mathematical logic concerned with avoiding paradoxes by organizing mathematical objects into a hierarchy of types
Russell developed type theory to resolve the paradoxes that arose in set theory.
Russell desenvolveu a teoria dos tipos para resolver os paradoxos que surgiram na teoria dos conjuntos.
3. In computer science, a system that assigns types to variables and expressions to ensure type safety and prevent runtime errors
Modern programming languages use type theory to catch errors at compile time.
Linguagens de programação modernas usam a teoria dos tipos para detectar erros no tempo de compilação.
Type theory is a specialized term used primarily in academic and professional computing contexts in both Brazil and the United States. It gained prominence with the rise of functional programming and formal verification methods in software development. In Brazilian universities and tech hubs like São Paulo, the term is increasingly used as programming education emphasizes type-safe languages.
Look up more words on Fala2Me
The free English-Portuguese dictionary with real Brazilian accents, NYC slang, conjugator and more
Open Fala2Me →