Summary of containers patches
simonpj at microsoft.com
Fri Sep 24 10:21:50 EDT 2010
| My question is: are there any kind of functions, other than overloaded
| functions, that would benefit from specialization. If the answer is
| yes, can we apply the same heuristic you use for overloaded functions
| to specialize these kind of functions. If we cannot automatically
| detect all the cases where specializing would be beneficial, should we
| allow the user to tell us when it might be beneficial?
If you allow specialisation on *values* then yes. That's what SpecConstr does. If you are talking of specialisation on *types* then I think it's very limited (aside from overloading). By all means show me otherwise.
More information about the Libraries