From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,87557ce53b069315
X-Google-Attributes: gid103376,public
From: "Matthew Heaney" <matthew_heaney@acm.org>
Subject: Re: meaning of "current instance"
Date: 1999/11/15
Message-ID: <38301fd1_2@news1.prserv.net>#1/1
X-Deja-AN: 548847539
Content-transfer-encoding: 7bit
References: <wccbt8y2fc4.fsf@world.std.com>
 <zaoX3.10259$dp.270354@typhoon-sf.snfc21.pbi.net>
 <382e2e08_2@news1.prserv.net> <382FE906.19371521@bton.ac.uk>
Content-Type: text/plain; charset="US-ASCII"
X-Complaints-To: abuse@prserv.net
X-Trace: 15 Nov 1999 14:59:29 GMT, 32.101.8.182
Organization: Global Network Services - Remote Access Mail & News Services
Mime-version: 1.0
Newsgroups: comp.lang.ada
Date: 1999-11-15T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <382FE906.19371521@bton.ac.uk> , John English <je@bton.ac.uk>  
wrote:

> Matthew Heaney wrote:
>> Controlled
>> types are in general less efficient than non-controlled types.
>
> But code that works is generally more efficient that code that
> doesn't... :-)

You're quoting me out of context.  Let's try again:

My original motivation for using

  type RT is
    tagged limited record
      I : Integer := Init (RT'Access);
    end record;

instead of

  type RT is
    new Limited_Controlled with record
      I : Integer;
    end record;

  procedure Initialize (O : in out RT);

is because the former is more efficient than the latter.



--
The theory of evolution is quite rightly called the greatest unifying
theory in biology.  The diversity of organisms, similarities and
differences between kinds of organisms, patterns of distribution and
behavior, adaptation and interaction, all this was merely a bewildering
chaos of facts until given meaning by the evolutionary theory.

Populations, Species, and Evolution
Ernst Mayr