value-dependent types
[ˈvæl.ju dɪˈpen.dənt taɪps]
nounpl: value-dependent types
tipos dependentes de valor
1. In programming language theory and type systems, types whose definition depends on actual runtime values rather than only on other types. A type system feature that allows the type of an expression to depend on the value of another expression.
In languages with value-dependent types, you can express that a list has a specific length as part of its type, making invalid operations compile-time errors.
Em linguagens com tipos dependentes de valor, você pode expressar que uma lista tem um comprimento específico como parte de seu tipo, tornando operações inválidas erros em tempo de compilação.
2. A type system extension where type constructors can take values (not just types) as arguments, enabling more precise and expressive type specifications.
The Dependent ML language demonstrates value-dependent types by allowing array types to include their precise length in the type signature.
A linguagem Dependent ML demonstra tipos dependentes de valor ao permitir que tipos de array incluam seu comprimento preciso na assinatura do tipo.
This is specialized technical terminology primarily used in computer science, programming language theory, and formal methods communities. It is not commonly used in everyday Portuguese or English but is standard in academic and professional computing contexts in both Brazil and international tech communities. The term reflects the growing importance of advanced type systems in modern programming language design.
Look up more words on Fala2Me
The free English-Portuguese dictionary with real Brazilian accents, NYC slang, conjugator and more
Open Fala2Me →