Path: news.daimi.aau.dk!news.uni-c.dk!sunic!sunic.sunet.se!news.luth.se!eru.mt.luth.se!bloom-beacon.mit.edu!crl.dec.com!caen!hookup!news.mathworks.com!news.alpha.net!uwm.edu!lll-winken.llnl.gov!venus.sun.com!news2me.EBay.Sun.COM!engnews2.Eng.Sun.COM!olm From: olm@Eng.Sun.COM (Ole Lehrmann Madsen) Newsgroups: comp.lang.beta Subject: Re: Part objects Date: 21 Apr 1995 07:12:53 GMT Organization: Sun Microsystems Inc., Mountain View, CA Lines: 48 Message-ID: <3n7ltl$h44@engnews2.Eng.Sun.COM> References: <9504201034.ZM19488@ody.zcu.cz> NNTP-Posting-Host: det.eng.sun.com X-Newsreader: NN version 6.5.0 #21 (NOV) novy1@odysseus.zcu.cz (Marek Novy) writes: >I found a strange aspect of part objects in Beta. They are still living >(accesible in memory) after the enclosing object has been deleted. >Consider this: >complex: (# x,y:@real; #); >c:^complex; >strange: > (# new:@complex; > exit new[] > #); >Every invocation like &strange->c[] create a new independent complex object. >It's OK from the practical point of view but not from theoretical one. Beta is >a language based on a 'physical modeling' approach. So it is not very clear if >part objects are in fact physically independent. It is correct that a part-object may be exist as in the above example. The enclosing 'strange'-object will, however, also exist since there is a reference to the part-object. As you have a reference to a part of an object, the whole object continues to exists. Why do you find this non-ok from a theoretical point of view. If you look at the beta home-page you will find a refernce to an article Part objects and their locations which discuss some of the issues related to this. ---olm >-- >Marek Novy, University of West Bohemia >********************************************************************** >Look at BatOS - revolution in OS design: http://odysseus.zcu.cz/~novy1 >********************************************************************** >home: 5.kvetna 670 campus: Machova 20, p.619 > 34201 Susice 30000 Pilsen > Czech Republic Czech Republic > tel. 0042-1878711 email: novy1@odysseus.zcu.cz >**********************************************************************