From: "Mark Lundquist" <up.yerz@nospam.com>
Subject: Re: Using "with function"
Date: Sat, 03 Nov 2001 04:15:00 GMT
Date: 2001-11-03T04:15:00+00:00 [thread overview]
Message-ID: <8bKE7.9810$Tb.5562957@news1.sttln1.wa.home.com> (raw)
In-Reply-To: mailman.1004482124.1277.comp.lang.ada@ada.eu.org
"Steven Deller" <deller@smsail.com> wrote in message
> > But for the
> > instantiator, it's the flip side, and these words mean that
> > the actual type
> > is not required to have the corresponding properties.
>
> Actually, it means *in all cases* that the actual type MUST have the
> corresponding type properties, and it MAY have additional properties.
Mmmm... I meant "property" in the sense of the property of limitidness, or
of abstractness...
-- mark
next prev parent reply other threads:[~2001-11-03 4:15 UTC|newest]
Thread overview: 28+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-07-20 15:56 Using "with function" Matt Raikes
2001-07-21 5:21 ` tmoran
2001-07-21 20:30 ` Mark Lundquist
2001-10-29 17:58 ` Matthew Heaney
2001-10-30 17:49 ` Mark Lundquist
2001-10-30 22:45 ` Steven Deller
2001-11-03 4:15 ` Mark Lundquist [this message]
2001-11-03 5:11 ` Computer Language Shootout Eric Merritt
2001-11-03 6:50 ` tmoran
2001-11-03 7:15 ` Al Christians
2001-11-03 8:52 ` martin.m.dowie
2001-11-03 14:04 ` Ted Dennison
2001-11-03 14:24 ` martin.m.dowie
2001-11-03 14:49 ` Larry Kilgallen
2001-11-03 23:03 ` research@ijs.co.nz
2001-11-04 6:39 ` tmoran
2001-11-04 13:44 ` Larry Kilgallen
2001-11-05 0:59 ` Adrian Hoe
2001-11-05 8:04 ` David Brown
2001-11-06 6:36 ` AG
2001-11-06 8:05 ` tmoran
2001-11-07 8:58 ` AG
2001-11-06 12:07 ` Larry Kilgallen
2001-11-07 6:19 ` Richard Riehle
2001-11-04 15:59 ` Preben Randhol
2001-11-04 20:04 ` martin.m.dowie
2001-10-31 7:00 ` Using "with function" Richard Riehle
2001-10-31 15:58 ` Matthew Heaney
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox