Todo lo que sé sobre TypeTags es que de alguna manera reemplazaron Manifiestos. La información en Internet es escasa y no me proporciona un buen sentido del tema. Por lo tanto, estaría feliz si alguien compartiera un enlace a algunos materiales útiles en TypeTags, incluidos ejemplos y casos de uso...
Sé que Java implementa el polimorfismo paramétrico (genéricos) con borrado. Entiendo lo que es borrar. Sé que C # implementa polimorfismo paramétrico con la reificación. Sé que eso puede hacerte escribir public void dosomething(List<String> input) {} public void dosomething(List<Int>...
Esto surgió como una pregunta que hice en una entrevista recientemente como algo que el candidato deseaba que se agregara al lenguaje Java. Es comúnmente identificado como una molestia que Java no tenga genéricos reificados pero, cuando se le presionó, el candidato no pudo decirme el tipo de cosas...
Leo mucho este término en blogs sobre haskell y programación funcional (especialmente en el blog de sigfpe ) pero no tengo ni idea de lo que significa. La mayoría de las veces me salgo con la suya sin saberlo, pero probablemente habría entendido los textos mucho mejor si lo hubiera sabido....