Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01271327n
Noun Concept
Categories: Tipos de dados, Teoria dos tipos
PT
sistema de tipos  tipagem dinâmica  tipagem estática  verificador tipo
PT
Em linguagens de programação, um sistema de tipos é um conjunto de regras que atribuem uma propriedade chamada de tipo para as várias construções - tais como variáveis, expressões, funções ou módulos - que um programa de computador é composto. Wikipedia
Definitions
Relations
Sources
PT
Em linguagens de programação, um sistema de tipos é um conjunto de regras que atribuem uma propriedade chamada de tipo para as várias construções - tais como variáveis, expressões, funções ou módulos - que um programa de computador é composto. Wikipedia
IS A
sistema formal
PART OF
linguagem de programação
HAS KIND
variável estática
EN
manifest typing
EN
type inference
linguagem programação fortemente tipada
polimorfismo paramétrico
+12 relations
HAS INSTANCE
linguagem programação fortemente tipada
EN
typing environment
EN
dynamic typing
EN
Hindley–Milner
FACET OF
linguagem de programação
USES
tipo de dado
Wikipedia
PT
sistema de tipos
Wikidata
PT
sistema de tipos
Wikipedia Redirections
PT
tipagem dinâmica
Wikipedia Translations
PT
tipagem dinâmica, tipagem estática, verificador tipo

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License