¿Valores, tipos, clases y ...?

7

Todos sabemos lo que es un valor. Un tipo es el tipo de un valor. Un tipo es (libremente) el tipo de un tipo. Un tipo construye un valor; Un tipo construye un tipo. Entonces, ¿cuál es el tipo de un tipo, una cosa que construye tipos?

¿Existe tal cosa? Eso tiene un nombre? ¿Es útil?

    
pregunta Jon Purdy 10.11.2011 - 20:32

2 respuestas

4

Según la entrada básica de Wikipedia sobre tipos "un tipo es el tipo de un constructor de tipos o , menos comúnmente, el tipo de un operador de tipo de orden superior ". Por lo tanto, entiendo que significar que el tipo de un tipo es un tipo y que es del todo hacia abajo (lo cual tiene sentido; de lo contrario, necesitaríamos un número infinito de nombres, uno para cada metatipo (i)).

De la misma referencia:

"(* = > *) = > * es el tipo de operador de tipo de orden superior desde los constructores de tipo unario hasta los tipos adecuados. Estos se encuentran muy raramente, incluso en la teoría del lenguaje de programación, pero vea Pierce (2002 ), capítulo 32 para una aplicación ".

parece indicar que tiene una utilidad limitada pero no nula.

No es una gran respuesta, pero espero que eso detenga los votos de "no una pregunta real" hasta que alguien que, digamos, implementó un compilador de Haskell y realmente sepa de qué está hablando, viene ...

    
respondido por el psr 10.11.2011 - 21:01
5

En Haskell, llamamos a los "tipos" de tipos sorts , aunque no conozco la nomenclatura para otros idiomas.

    
respondido por el FUZxxl 11.11.2011 - 08:06

Lea otras preguntas en las etiquetas