Resultados da pesquisa a pedido "type-theory"
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 ...
Por que precisamos de tipos de soma?
Imagine uma linguagem que não permita vários construtores de valor para um tipo de dados. Em vez de escrever data Color = White | Black | BlueNós teríamos data White = White data Black = Black data Blue = Black type Color = White :|: Black :|: ...
Página 2 do 2