[bitc-dev] DISCUSS: quasi-object syntax

[Eric Rannaud]

On Thu, 2008-07-17 at 13:39 -0400, Jonathan S. Shapiro wrote:
> > Question: would such a method call notation be somewhat disturbing as it
> > suggests the first argument is somehow privileged?
> 
> Why does it suggest that?

In term of (static) dispatch. As it would suggest single dispatch on the
type of a in (a.x [args]), like in C++ or Java, whereas as I understand
it, the resolution of 'x' depends on the types of all its arguments.

Or maybe I got that part of BitC wrong.