After all, perl scripts are converted to machine code...

Not really. They're compiled to an intermediate format known as an optree. Perl runs programs by traversing this optree.

It is surprising that there is no reasonably satisfactory solution till now.

It's a surprisingly difficult problem. You'd need something like PyPy and Futamura projections to get close.