Path: news.daimi.aau.dk!news.uni-c.dk!sunic!sunic.sunet.se!mimuw.edu.pl!fuw.edu.pl!wariat.org!usenet.ins.cwru.edu!news.ecn.bgu.edu!vixen.cso.uiuc.edu!howland.reston.ans.net!swrinde!cs.utexas.edu!not-for-mail
From: novy1@odysseus.zcu.cz (Marek Novy)
Newsgroups: comp.lang.beta
Subject: Part objects
Date: 20 Apr 1995 03:35:19 -0500
Organization: UTexas Mail-to-News Gateway
Lines: 29
Sender: nobody@cs.utexas.edu
Message-ID: <9504201034.ZM19488@ody.zcu.cz>
NNTP-Posting-Host: news.cs.utexas.edu

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.


-- 
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 
**********************************************************************