Am I being dense, or is this more or less what Juerd
module does? You mention using these lvalue subs for OO but I see your example doesn't use method calls per se
-- you seem to have your example lvalue subs fixed to a single tied object which seems impractical for everyday OO use. If your goal is to generalize this approach for lvalue method calls, is it different than Attribute::Property
I'm really not trying to be difficult: I just want to make sure I'm not missing the point. ;) In any case, Juerd's and your goals seem to have a lot in common.