From: Lubomir Bourdev (lbourdev_at_[hidden])
Date: 2006-10-18 20:35:05
> > 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