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.
