Teoria dos tipos: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m Bot: Adicionando: nl:Typentheorie |
m Clean up e ajustes, typos fixed: pra → para utilizando AWB |
||
Linha 19:
é a própria essência do projeto de linguagens de programação: "Projete o sistema de tipos corretamente, e a linguagem vai projetar a si mesma".
Note que teoria dos tipos, como descrita daqui
Sistemas de programação que aplicam [[tipagem dinâmica]] não provam a priori que um programa usa valores
corretamente; ao invés disso, elas lançam um erro em [[tempo de execução]] quando o programa tenta apresentar
Linha 58:
=={{
http://www.nist.gov/dads/HTML/abstractDataType.html - Abstract (em inglês)
| |||