From: Brian Rogoff <bpr@shell5.ba.best.com>
Subject: Re: Depending on passing mechanism
Date: 1997/10/18
Date: 1997-10-18T00:00:00+00:00 [thread overview]
Message-ID: <Pine.BSF.3.96.971018110638.11035B-100000@shell5.ba.best.com> (raw)
In-Reply-To: hbaker-1710970933080001@10.0.2.1
On Fri, 17 Oct 1997, Henry Baker wrote:
>
> NIL/Hermes was from IBM.
Right, my mistake.
> There was no performance overhead that I heard of. On the contrary, by
> performing the typing analysis at compile time, there was no runtime
> overhead.
I'll have to find the ref where I thought I read about this. In any case,
simply having a strong static type system does not guarantee no runtime
overhead; you suggested the Haskell approach as a valid one. While Haskell
code looks nice on paper the current compiler implementations are far from
producing comparable code to gcc for similar problems. What I would like
to be convinced is
(1) An actual pseudo-Ada syntax for "unique" types in Ada. Starting from
there I could see exactly how your proposal would interact with the
the current Ada.
(2) An implementation :-). Seeing as how GNAT is out there, there is
plenty of opportunity for malcontents to lead the way by making
Ada variants.
You post elsewhere that Ada's flaws are well known everywhere but inside
the Ada community. I think the opposite is true, lots of "flaws" in Ada,
including those mentioned in your papers, are discussed on c.l.a., but the
knowledge of Ada elsewhere is simplistic (ADA is kitchen sink language
designed by DOD committee) and I've rarely seen useful criticisms from
"outside", except for those of Ada-83 tasking. I still haven't found a
widely useful language without serious flaws. The main competitor for Ada
in its class is C++, and I prefer Ada.
-- Brian
next prev parent reply other threads:[~1997-10-18 0:00 UTC|newest]
Thread overview: 54+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-10-13 0:00 Depending on passing mechanism Andre Spiegel
1997-10-13 0:00 ` Matthew Heaney
1997-10-14 0:00 ` Robert Dewar
1997-10-14 0:00 ` Robert Dewar
1997-10-14 0:00 ` Henry Baker
1997-10-15 0:00 ` JP Thornley
1997-10-15 0:00 ` Geert Bosch
1997-10-15 0:00 ` Robert Dewar
1997-10-15 0:00 ` Robert Dewar
1997-10-17 0:00 ` Andre Spiegel
1997-10-17 0:00 ` Henry Baker
1997-10-17 0:00 ` Jon S Anthony
1997-10-17 0:00 ` Robert I. Eachus
1997-10-21 0:00 ` Robert A Duff
1997-10-21 0:00 ` Peter Hermann
1997-10-22 0:00 ` Robert A Duff
1997-10-22 0:00 ` Brian Rogoff
1997-10-22 0:00 ` Henry Baker
1997-10-21 0:00 ` Robert Dewar
1997-10-22 0:00 ` Brian Rogoff
1997-10-22 0:00 ` Jon S Anthony
1997-10-15 0:00 ` Brian Rogoff
1997-10-19 0:00 ` Robert Dewar
1997-10-22 0:00 ` Henry Baker
1997-10-15 0:00 ` Henry Baker
1997-10-15 0:00 ` Robert Dewar
1997-10-15 0:00 ` Jon S Anthony
1997-10-16 0:00 ` Brian Rogoff
1997-10-17 0:00 ` Henry Baker
1997-10-18 0:00 ` Fergus Henderson
1997-10-18 0:00 ` Brian Rogoff [this message]
1997-10-18 0:00 ` Matthew Heaney
1997-10-19 0:00 ` Brian Rogoff
1997-10-21 0:00 ` Robert A Duff
1997-10-22 0:00 ` Robert Dewar
1997-10-22 0:00 ` Brian Rogoff
[not found] ` <dewar.877601826@merv>
1997-10-23 0:00 ` Brian Rogoff
1997-10-23 0:00 ` Henry Baker
1997-10-23 0:00 ` Brian Rogoff
1997-10-19 0:00 ` Fergus Henderson
1997-10-19 0:00 ` Brian Rogoff
1997-10-20 0:00 ` Fergus Henderson
1997-10-20 0:00 ` Henry Baker
1997-10-20 0:00 ` Tucker Taft
1997-10-21 0:00 ` Geert Bosch
1997-10-21 0:00 ` Robert A Duff
1997-10-22 0:00 ` Henry Baker
1997-10-21 0:00 ` Matthew Heaney
1997-10-22 0:00 ` Simon Wright
1997-10-23 0:00 ` Henry Baker
1997-10-23 0:00 ` Pat Rogers
1997-10-24 0:00 ` Robert Dewar
1997-10-23 0:00 ` Robert A Duff
1997-10-21 0:00 ` Keith Thompson
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox