Recursive Templates

[bearophile]

Steven Schveighoffer:
> enum valuetype
> {
>    T,
>    Array,
>    Param
> }
> ...

That's an interesting solution, I'll probably find a way to use it myself.
It follows the old advice: when the type system of you language isn't powerful enough for your purposes, punch a hole in it an go on ;-)

As more and more "advanced" features are added to D 2.x, its type system may show some limitations (on the other hand in most situations I don't need a bulletproof type system like Haskell one).

Bye,
bearophile