self.python vs Current.eiffel

Egbert Bouwman egbert at bork.demon.nl
Tue Sep 26 17:23:33 CEST 2000


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
========================================================================




More information about the Python-list mailing list