What is a type error?

[Darren New]

Chris Smith wrote:
> Unless I'm missing your point, I disagree with your disagreement.  
> Mutability only makes sense because of object identity (in the generic 
> sense; no OO going on here). 

Depends what you mean by "object".

int x = 6; int y = 5; x = y;

I'd say x was mutable, with no "identity" problems involved?

Why is it problematic that variables have identity and are mutable? 
Certainly I can later "find" whatever value I put into x.

-- 
   Darren New / San Diego, CA, USA (PST)
     This octopus isn't tasty. Too many
     tentacles, not enough chops.