Re:The mechanics of autonomous software translation
by alpaylan on Sunday March 15, 2026 @05:59PM
(#47392400)
Doesn't all optimizations need to be valid translations first? That was my reasoning when writing it.
Re:The mechanics of autonomous software translation
by svilen_dobrev on Monday March 16, 2026 @09:16AM
(#47398605)
Well, depends on what "translation", and "optimization", means. If even shuffling a few things around counts as translation, then yes.. But then (near?) every change is translation, so it becomes meaningless as a notion. Better keep it more substantial, for changing some essential expressive ingredient of the code without changing functionality (and structure/architecture?) , much. Like language.
Sometimes translation may bring (speed) optimization, sometimes not (like python<->C) - some redundant loop in C will be faster than same loop in python, but removing it entirely would be even faster.. and no need for a translation just for that.
You probably think of "transformation" as general term, but that is much more primitive than "translation".
Of course if there are semantically correct ways of translation, optimization might be easier than without it.. For the defined semantics. But can still be hard on (or including) all other not-well-defined fronts.