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. _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
