RE: On Arnold's challenge & Paul's Observation...
Dear Dan, I think we are in complete agreement. What you described is
exactly what I would like to have too. Vladik
-----Original Message-----
From: ben@xxxxxxxxx [mailto:ben@xxxxxxxxx] On Behalf Of Dan Zuras
Intervals
I have no problem with a compiler that warns the user
"hey, guy, you know that '2x-x' can be replaced by 'x'
don't you?" so long as it compiles it as 2x-x.
I also have no problem with a (non-default) compiler
option that the programmer can choose to make such
transformations automatically. Or a lint-like scan
of the programmer's source that points out how many
things might be changed for the better.
So long as the user is made aware of all these things
we are in good shape.