Refactoring in Tunes

[Massimo Dentico]

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?"?

-- 
Massimo Dentico