Resultados de la búsqueda a petición "type-theory"
¿Qué es la predicatividad?
Tengo una intuición bastante decente sobre los tipos que Haskell prohíbe como "impredicativos": a saber, aquellos en los queforall aparece en un argumento para un constructor de tipos distinto de->. Pero, ¿qué es la predicatividad? ¿Qué lo hace ...
Página 2 de 2