On Wed, Sep 2, 2009 at 11:55 AM, Sam Mason<sam(at)samason(dot)me(dot)uk> wrote:
> In fact it doesn't seem to want to play ball at all. Even given the
> apparently unambiguous:
>
> SELECT 1+add(1,2);
> or
> SELECT 'hi'||add(1,2);
>
> It doesn't get anywhere. No need for "text 'hi'" in the second one
> because || isn't defined for values of integer type.
Right. This is exactly the sort of thing that languages with real
type inference have no problem handling. Of course, ML for example
doesn't allow overloading precisely because (AIUI) it makes type
inference difficult. It would be awesome if we could make this work
though.
...Robert