dependent ordering
[/dɪˈpɛndənt ˈɔrdərɪŋ/]
nounpl: dependent orderings
ordenação dependente
1. A type of ordering or sequencing in which the arrangement of elements depends on the values or properties of other elements, commonly used in mathematics, computer science, and logic to establish hierarchical relationships
In dependent ordering, the position of each element is determined by its relationship to previously ordered elements.
Na ordenação dependente, a posição de cada elemento é determinada por sua relação com elementos previamente ordenados.
2. In type theory and programming languages, a system where types can depend on values, allowing for more expressive type systems
Dependent ordering in type theory enables the creation of more precise and safer code by allowing types to express constraints on values.
A ordenação dependente na teoria de tipos permite criar código mais preciso e seguro ao permitir que tipos expressem restrições sobre valores.
This is primarily a technical term used in academic and professional settings in both Brazil and the USA. It is prevalent in computer science, mathematics, and formal logic discussions. The term is specialized and would not be commonly used in casual conversation, appearing mainly in technical documentation, academic papers, and professional software development contexts.
Look up more words on Fala2Me
The free English-Portuguese dictionary with real Brazilian accents, NYC slang, conjugator and more
Open Fala2Me →