Refactoring in Tunes
Tue, 11 Jan 2000 03:43:28 +0100
Francois-Rene Rideau wrote:
> rules. Metaprogramming (in the form of compiler theory) tells us that
> the transformations involved in optimizing/whatever programs can be very
> long-winded before you end back with a "same-semantics" program;
> imposing a short-view constraint that all transformations preserve semantics
> will only get in the way. Oh, and if you remove that local constraint,
> then you have full metaprogramming. Again, in as much as "refactoring"
> is any good, it's by teaching principles of (as general as possible)
> metaprogramming. The rest is usual OO hype.
Do you intend transformations that preserve **observable
behavior**? In such case what's your opinion on the paper cited
in my post "A mathematical foundation of reflection?"?