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.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII X-Google-Thread: 103376,be23df8e7e275d73 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-08-02 06:26:59 PST Path: archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!newsfeeds.belnet.be!news.belnet.be!opentransit.net!kinglear.mobilixnet.dk!news1!newsfeed1.uni2.dk!news.net.uni-c.dk!not-for-mail From: Jacob Sparre Andersen Newsgroups: comp.lang.ada Subject: Re: Proving Correctness (was Java Portability) Date: Thu, 02 Aug 2001 15:26:57 +0200 Organization: Centre for Chaos and Turbulence Studies, Niels Bohr Institute Message-ID: <3B695521.54BBF4D3@nbi.dk> References: <3B5DCE74.C12AA2D8@earthlink.net> <1Zu77.187$EF5.315498@nnrp1.proxad.net> <9jp5eo$e2b$2@a1-hrz.uni-duisburg.de> <9jrdl3$mh2$1@a1-hrz.uni-duisburg.de> <%hb87.917$%w2.3730577@nnrp3.proxad.net> <9jrt62$38t$1@nh.pace.co.uk> <3B619A6D.5DD6E782@home.com> <3B6636BA.96FD8348@home.com> <9kb3ub$hdo$1@a1-hrz.uni-duisburg.de> NNTP-Posting-Host: alf.nbi.dk Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Trace: news.net.uni-c.dk 996758818 18556 130.225.212.55 (2 Aug 2001 13:26:58 GMT) X-Complaints-To: usenet@news.net.uni-c.dk NNTP-Posting-Date: Thu, 2 Aug 2001 13:26:58 +0000 (UTC) X-Mailer: Mozilla 4.78 [en] (X11; U; OSF1 V4.0 alpha) X-Accept-Language: fo,da,no,sv,is,de,fr,en Xref: archiver1.google.com comp.lang.ada:11077 Date: 2001-08-02T15:26:57+02:00 List-Id: Nicolas: > Everybody knows what popular languages compilers provide I am not sure I do, but I will try to make a list and guess which things you consider important. I work on Digital Unix and Linux systems. * Ada - the standard libraries and some vendor dependent stuff (GNAT.*) * Basic - don't know * C - the standard libraries * C++ - the standard libraries * COBOL - don't know * Fortran - the standard libraries * Java - don't know * Borland Pascal - integrated GUI builder and DB builder, no _standard_ libraries I addition to this you can install GUI builders and various graphical and text based development environments and debuggers as well as additional libraries for practically any purpose you can think of. Borland Pascal (aka Delphi) seems to be the most popular programming language in Denmark (before C) even though it until recently only was available for a single processor-operating system combination, so I assume that most programmers consider an integrated GUI builder and/or database builder the most important factor, when choosing a programming language. Apparently you don't even have to live up to the standard your language is named after. So the answer seems to be: "Make an _integrated_ package consisting of: * An Ada compiler. * A GUI builder (where you can go _freely_ back and forth between graphical and source view). * A database builder. * Whatever libraries you can think of." My short experience with Object Ada gave me the impression that Aonix for some reason had decided to use a rather primitive parser (even the number of spaces appeared to be important in some places) in stead of using the one from the compiler. Jacob -- Det virker p� en eller anden m�de absurd at det anses for god tone at sige at "vi har sundheds/skole/social..-systemet for at give erhverslivet gode konkurrencevilk�r", mens det anses for samfundsomstyrtende at foresl� at "erhverslivet hovedopgave er at financiere velf�rdssystemer". -- Sune Rastad Bahn