Perguntas com a marcação «polymorphism»

O Sistema F com pares possui fortes propriedades de normalização e redução de assunto?

É fácil procurar em muitos livros didáticos as provas de redução de assunto e forte normalização do Sistema F; também, às vezes, existem definições do Sistema F com pares, onde (t, r) é um termo, não apenas uma codificação. A questão é: qual seria a referência para esse...

Polimorfismo de classificação mais alta sobre tipos sem caixa

Eu tenho um idioma no qual os tipos são desmarcados por padrão, com inferência de tipo baseada em Hindley-Milner. Eu gostaria de adicionar um polimorfismo de classificação mais alta, principalmente para trabalhar com tipos existenciais. Acho que entendo como verificar esses tipos, mas não sei o...