Path: news.daimi.aau.dk!news.uni-c.dk!sunic!sunic.sunet.se!news.sprintlink.net!howland.reston.ans.net!xlink.net!nntp.gmd.de!nntp.darmstadt.gmd.de!news.th-darmstadt.de!isa.informatik.th-darmstadt.de!kuehne
From: kuehne@sun46.isa.informatik.th-darmstadt.de (Thomas Kuehne)
Newsgroups: comp.lang.beta
Subject: Re: unusual inner
Date: 2 Aug 1995 09:35:39 GMT
Organization: TU Darmstadt, Praktische Informatik
Lines: 44
Distribution: world
Message-ID: <3vngtb$12cu@rs18.hrz.th-darmstadt.de>
References: <3ulin4$h07@rs18.hrz.th-darmstadt.de> <3uvr75$5e3@belfort.daimi.aau.dk> <3v5451$12j2@rs18.hrz.th-darmstadt.de> <wpp.806763572@marie> <3v7t9n$147f@rs18.hrz.th-darmstadt.de> <wpp.806927008@marie>
Reply-To: kuehne@isa.informatik.th-darmstadt.de
NNTP-Posting-Host: sun46.isa.informatik.th-darmstadt.de

Birger Moeller-Pedersen pointed out a very interesting detail
concerning specialization 'on the fly':

-------------------------------------------------------------------------------
I just want to point out to you the usefulnes of
the possibility of specialization 'on the fly'.

Suppose that SomeCodeINeed has a virtual
pattern (vp)that you want to redefine (extend in Beta),
and that this
extension should use some attribute in the enclosing
class. This is possible in Beta (by the
specialisation on the fly), but it will not work if
you have to make the specialisation 'not on the fly':

>   MyObjectWithCodeReuse:
>   (#
        desiredAttr:@ T;

>       comp1: @SomeCodeINeed
                (# ...
                   vp::< (# ... desiredAttr.p ... #)
                   ...
                #);
>       comp2: @SomeCodeINeedToo(# ... #);
> 
>       ...
>   do
>     ...
>   #);


Regards

/birger
-------------------------------------------------------------------------------

He had trouble posting to the group, so I did it for him, given
his permission.

Greetings,

	Thomas