Simplifying templates

[Kagamin]

dfgh Wrote:

> Kagamin Wrote:
> 
> > how do you plan to infer types?
> 
> What needs to be inferred? The type would be written wherever it is needed.

That will be too verbose. May be I misused the term. In http://www.digitalmars.com/d/2.0/template.html it's called argument deduction. See Function Templates section where Square(3) is deduced to be Square!(int)(3). This is a nice feature.