Teoria dos tipos: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m |
m ajustes usando script |
||
Linha 2:
{{em tradução}}
{{Wikificação|ciência=sim|data=junho de 2015}}
'''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.
| |||