Infer function template parameters

[Peter Alexander]

On Thursday, 20 September 2012 at 21:04:15 UTC, Timon Gehr wrote:
> On 09/20/2012 10:52 PM, Peter Alexander wrote:
>> Like it or not, templates still cause a lot of code bloat, 
>> complicate
>> linking, cannot be virtual, increase compilation resources, 
>> and generate
>> difficult to understand messages. They are a powerful tool, 
>> but need to
>> be used wisely.
>
> The proposal does not make wise usage harder. It only makes 
> usage more
> concise in some cases.

Conciseness encourages use, both wise and unwise.

I don't think that templates should have more concise syntax than 
non-templates. Having shorter syntax suggests that it should be 
the default choice, and it's a bad default choice for most 
functions.