> So, is it right to say that one can't use stricture to avoid
   > use of mistyped user defined value attached properties?
   > (Perhaps with the exception of references to a value
   > property in the same lexical scope as assignments of
   > that value?)
   > 
   > And, if this is so, then isn't it impossible to have useful
   > stricture about variable properties, because any given
   > reference to a property might be instead a value property
   > unknown to the compiler?

Yes.

I very much doubt Perl is going to become significantly more statically
analyzable in general. Though static determinacy is obviously a
desirable thing, there are plenty of other B&D languages that offer it
in abundance. And the dynamic power that Perl would have to lose would not
compensate for the static benefits gained.

Damian

PS: Of course, as always, Larry's MMV on that ;-)

Reply via email to