O que é reificação?
Eu sei que Java implementa polimorfismo paramétrico (genéricos) com apagamento. Eu entendo o que é apagamento.
Eu sei que o C # implementa polimorfismo paramétrico com reificação. Eu sei que isso pode fazer você escrever
public void dosomething(List<String> input) {}
public void dosomething(List<Int> input) {}
ou que você pode saber em tempo de execução qual é o parâmetro type de algum tipo parametrizado, mas não entendo qualé.
O que é um tipo reificado?O que é um valor reificado?O que acontece quando um tipo / valor é reificado?