self.python vs Current.eiffel

[Egbert Bouwman]

On Tue, Sep 26, 2000 at 09:38:58AM -0400, Warren Postma wrote:
>             x = x + 1
> 
> As an algebraic assertion (that X is itself equal to itself, plus 1) is an
> impossibility.
> 
> I suspect that Meyer is coming from this very mathematical point of view,
> and that treating a variable as an alias for a memory location is not an
> abstraction he values as much as the mathematical "proveability" of
> something.

It must be something else, because in his examples Meyer uses
              x := x + a
as a valid eiffel instruction.              
egbert              
> 
-- 
Egbert Bouwman - Keizersgracht 197 II - 1016 DS  Amsterdam - 020 6257991
========================================================================