From: kilgallen@eisner.decus.org (Larry Kilgallen)
Subject: Re: Idea for Ada 200x: Arguments that are procedures
Date: 1998/07/04
Date: 1998-07-04T00:00:00+00:00 [thread overview]
Message-ID: <1998Jul4.094458.1@eisner> (raw)
In-Reply-To: swhalenEvJBCC.6Er@netcom.com
In article <swhalenEvJBCC.6Er@netcom.com>, swhalen@netcom.com (Steve Whalen) writes:
> I agree completely. Either dump shared generics (because *I* don't
> often/ever? need them <g>) or add another piece of programmer control
> syntax to "limited" (maybe "limited controlled?") That way the programmer
> can "promise" the compiler that the procedure pointer REALLY won't be
> abused/confused and permit downward closure of procedure pointers.
I have not been following this, but I look to Ada for an environment
in which the programmer can "assert" but the compiler will verify.
I believe features where the programmer tells the compiler "trust me"
should have ugly names from the UNCHECKED_* series.
Larry Kilgallen
next prev parent reply other threads:[~1998-07-04 0:00 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-07-03 0:00 Idea for Ada 200x: Arguments that are procedures Van Snyder
1998-07-02 0:00 ` Brian Rogoff
1998-07-02 0:00 ` Robert Dewar
1998-07-03 0:00 ` Steve Whalen
1998-07-03 0:00 ` Brian Rogoff
1998-07-03 0:00 ` Steve Whalen
1998-07-04 0:00 ` Larry Kilgallen [this message]
1998-07-07 0:00 ` Robert I. Eachus
1998-07-07 0:00 ` Brian Rogoff
1998-07-03 0:00 ` Robert Dewar
1998-07-03 0:00 ` Brian Rogoff
1998-07-03 0:00 ` Charles Hixson
1998-07-04 0:00 ` Larry Kilgallen
1998-07-06 0:00 ` Dr Richard A. O'Keefe
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox