Teoria dos tipos: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m Tradução de termos em Inglês. Melhoria de Formatação. |
|||
Linha 3:
{{Wikificar}}
'''Teoria dos tipos''' é o ramo da [[matemática]] e da [[lógica]] que se preocupa com a classificação de entidades em [[conjunto]]s chamados [[tipo]]s. Neste sentido, está relacionada com a noção [[metafísica]] de "tipo". A teoria dos tipos moderna foi inventada em parte em resposta ao
Com o surgimento de poderosos [[computadores]] programáveis, e o desenvolvimento de [[linguagens de programação]] para os mesmos, a Teoria dos Tipos tem encontrado aplicação prática no desenvolvimento de sistemas de tipos de linguagens de programação.
|