Teoria dos tipos: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m demarcação de citação de obra |
m adicionando link de texto |
||
Linha 24:
* Russell e Whitehead
* Sistema de cálculo de tipo Lambda (e.g [[Haskell]])
* Inferência de tipo Polimórfica (Linguagem de Programação ML; polimorfismo de Hindley-Milner) subtipo
* Tipagem estática orientada a objetos (grew out of abstract data type and subtyping)
|