title: What is reification?
body: <p>I know that Java implements parametric polymorphism (Generics) with erasure. I understand what erasure is.</p>
  
  <p>I know that C# implements parametric polymorphism with reification. I know that can make you write</p>
  
  <pre><code>public void dosomething(List&lt;String&gt; input) {}
  public void dosomething(List&lt;Int&gt; input) {}
  </code></pre>
  
  <p>or that you can know at runtime what the type parameter of some parameterised type is, but I don't understand what it <em>is</em>.</p>
  
  <ul>
  <li>What is a reified type?</li>
  <li>What is a reified value?</li>
  <li>What happens when a type/value is reified?</li>
  </ul>