Resultados da pesquisa a pedido "type-theory"
Qual é o análogo da categoria na programação
Eu descobri que existe um isomorfismo entre lógica e programação, chamado Correspondência de Curry-Howard [https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence], existe alguma equivalência para a teoria das categorias, o que ajuda a ...
O que é predicatividade?
Tenho uma intuição bastante decente sobre os tipos que Haskell proíbe como "impredicativos": ou seja, aqueles em que umforall aparece em um argumento para um construtor de tipo diferente de->. Mas exatamente o que é predicatividade? O que o torna ...
Página 2 do 2