> Templates are a compile-time construct. Algebraic data types are not. I think you are confusing ADTs with parametric polymorphism. You keep saying that word.

> Templates are a compile-time construct. Algebraic data types are not. I think you are confusing ADTs with parametric polymorphism. You keep saying that word. I do not think it means what you think it means: http://en.wikipedia.org/wiki/Algebraic_data_type http://en.wikipedia.org/wiki/Algebraic_data_type