--- chromatic <[EMAIL PROTECTED]> wrote:
> On Thursday, September 18, 2003, at 07:49 AM, Austin Hastings wrote:
> 
> > Sounds like a potential keyword, or perhaps a ubiquitous method, or
> > both. But how to differentiate "sealed under optimization" versus
> > "sealed under inheritance"?
> 
> I don't understand the question.

I want CSE and loop unrolling, say, but don't want to prevent
polymorphic dispatch by declaring C<my Dog $spot is sealed;> -- if
someone gives me a Beagle, I want to call Beagle::bark, not Dog::bark.

> 
> The point is not for module authors to say "no one can ever extend or
> 
> modify this class".  It's for module users to say "I'm not extending
> or 
> modifying this class".
> 
> > Perhaps it would be better to specify an optimizability attribute
> at
> > some level?
> 
> That seems possible, from the same level.

Yes.

=Austin

Reply via email to