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,29fe9a340e0d180d X-Google-Attributes: gid103376,public From: Brian Rogoff Subject: Re: Depending on passing mechanism Date: 1997/10/18 Message-ID: #1/1 X-Deja-AN: 282245025 References: <622b4t$nhe$1@gonzo.sun3.iaf.nl> X-Trace: 877200050 5708 bpr 206.184.139.132 Newsgroups: comp.lang.ada Date: 1997-10-18T00:00:00+00:00 List-Id: 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