* Mark J. Reed <[EMAIL PROTECTED]> [2008-03-21 21:35]: > On Fri, Mar 21, 2008 at 4:25 PM, Aristotle Pagaltzis <[EMAIL PROTECTED]> > wrote: > > It makes the meaning of the statement dependent on the types > > of any variables, which is information that a reader won't > > necessarily find in close vicinity of the statement. > > [...] > > > if you're completely changing the meaning of an operator, > > the reader should have nearby indication of what is really > > going on. > > Ah, so you want the types of typed vars to be apparent where > those vars are used. Well, there's an easy solution there: > Hungarian notation! > > (ducks under barrage of rotten fruit)
The other easy solution is monomorphism, wherein the types of the variables are irrelevant. It so happens that this is what Perl does and what my proposal was about. Regards, -- Aristotle Pagaltzis // <http://plasmasturm.org/>