c C++</strong></p>
<p>Rules straddle the border between static and dynamic C++. In effect, a rule 
  transforms compile-time polymorphism (using templates) into run-time polymorphism 
  (using virtual functions). This is necessary due to C++'s inability to automatically 
  declare a variable of a type deduced from an arbitrarily complex expression 
  in the right-hand side (rhs) of an assignment. Basically, we want to do something 
  like:</p>
<pre><code><font color="#000000">    <span class=identifier>T </