reificar reificación reificacion falacia etimologia estética definicion conocimiento concepto artificio alienacion c# generics scala language-agnostic types

c# - reificación - ¿Por qué los genéricos reificados son difíciles de combinar con los de tipo superior?



reificación estética (1)

Existe la noción de que la combinación de genéricos reificados con tipos de tipo superior es un problema difícil.

¿Existen idiomas existentes que hayan combinado con éxito estas dos características de sistema de tipo o no es posible en general?

¿Hay más información disponible para comprender lo que se ha hecho en este espacio hasta ahora?

Para la segunda parte de la pregunta: Eche un vistazo al lenguaje de programación de Scala, que ha combinado con éxito los genéricos reificados de la JVM subyacente con los tipos mejor calificados. Los conceptos clave para hacer este trabajo son parámetros implícitos y Manifests . Los manifiestos se utilizan para trasladar parte de la información de tipo borrada al tiempo de ejecución y las implícitas se utilizan para inyectar el manifiesto en una clase de tipo similar. La publicación del blog Manifestados: Tipos Reificados tiene más detalles.