
19 Oct
2006
19 Oct
'06
12:35 a.m.
We don't believe the type of the result could automatically be inferred simply from the types of arguments.
The type of the result is fixed by the types of the arguments, therefore, simply ... the type of the result is automatically inferred simply from the types of arguments.
What I meant to say is that the OPTIMAL type cannot be inferred automatically from the types of arguments. It depends on the many criteria I listed. Lubomir