comp.lang.ada
 help / color / mirror / Atom feed
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
Subject: Re: Ada noob here! Is Ada widely used?
Date: Tue, 25 May 2010 16:24:20 +0200
Date: 2010-05-25T16:24:21+02:00	[thread overview]
Message-ID: <4bfbdd95$0$6776$9b4e6d93@newsspool3.arcor-online.net> (raw)
In-Reply-To: <93a818e9c91ccba6d8ea3a7258ef3265@mixmaster.it>

On 25.05.10 15:47, George Orwell wrote:
>> GNAT is written in Ada, after being drafted in SETL;
>> a precursor of GNAT was Ada/Ed, an Ada interpreter.
>> This is what I remember from reading GNAT history.
> 
> Yes, everybody knows GNAT was written in GNAT. But GNAT is not Ada, it's
> just one implementation, and it is not by any means the first.

Yes.  Ada/Ed, though, being an Ada 83 interpreter, being
written in SETL, not C, and being prototypical for GNAT,
indicates that C is not necessarily the single language for
writing high class compilers---as some have implied.
I'm sure you know that is the case for some other languages,
too.
GNAT is one compiler where everyone can convince themselves,
since the sources are open to the public.

Some more hints, all signifying nothing,
absent more reputable positive findings:

- DEC Ada living in an architecture that is decidedly
  not Unix, and less C centric

- Rational, offering Ada/Apex long before they added C++

- Alsys Ada being compared to Occam on the T800 Transputer

- Mentionings of counts of pragma Assert (and other Ada terms)
  in compiler source, not just in GNAT, but also in Janus/Ada,
  and, IIRC IBM Ada (formerly Rational).

Would they all have been using C (K&R C, that is) on non-C
platforms nevertheless, for implementing their compilers?



  reply	other threads:[~2010-05-25 14:24 UTC|newest]

Thread overview: 230+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-05-20 12:53 Ada noob here! Is Ada widely used? Duke Normandin
2010-05-20 13:59 ` Alex Mentis
2010-05-20 15:05   ` Pascal Obry
2010-05-20 15:27     ` Yannick Duchêne (Hibou57)
2010-05-20 15:30   ` Yannick Duchêne (Hibou57)
2010-05-20 18:58     ` Duke Normandin
2010-05-20 19:36       ` Manuel Gomez
2010-05-20 19:53         ` Duke Normandin
2010-05-20 21:20       ` Yannick Duchêne (Hibou57)
2010-05-20 23:17       ` Gautier write-only
2010-05-20 23:46         ` Yannick Duchêne (Hibou57)
2010-05-21 14:07           ` Duke Normandin
2010-05-21  0:30         ` Marc A. Criley
2010-05-21  2:17           ` Yannick Duchêne (Hibou57)
2010-05-21 20:34             ` Marc A. Criley
2010-05-21  5:18         ` Randy Brukardt
2010-05-22 14:54           ` Gautier write-only
2010-05-21 16:01         ` Duke Normandin
2010-05-22  9:57           ` Stephen Leake
2010-05-21  5:09     ` Randy Brukardt
2010-05-21 14:33       ` Duke Normandin
2010-05-20 19:06   ` Duke Normandin
2010-05-20 21:19     ` Yannick Duchêne (Hibou57)
2010-05-21  1:08   ` tmoran
2010-05-20 15:33 ` Yannick Duchêne (Hibou57)
2010-05-20 17:21 ` Jeffrey R. Carter
2010-05-20 18:49 ` Gautier write-only
2010-05-20 19:51   ` Duke Normandin
2010-05-20 21:05     ` Dmitry A. Kazakov
2010-05-20 22:58       ` Duke Normandin
2010-05-23  2:41         ` Yannick Duchêne (Hibou57)
2010-05-23 13:26           ` Duke Normandin
2010-05-23 16:50             ` Bruno Le Hyaric
2010-05-23 17:37               ` Duke Normandin
2010-05-23 20:32               ` Jeffrey R. Carter
2010-05-23 20:59                 ` Duke Normandin
2010-05-24  9:00                   ` Stephen Leake
2010-05-24  9:31                     ` Dmitry A. Kazakov
2010-05-24 13:10                       ` Duke Normandin
2010-05-25  2:07                         ` Stephen Leake
2010-05-25  2:02                       ` Stephen Leake
2010-05-25  9:05                         ` Dmitry A. Kazakov
2010-05-25 17:36                           ` Yannick Duchêne (Hibou57)
2010-05-25 18:50                             ` Warren
2010-05-26  7:16                           ` Stephen Leake
2010-05-26  8:17                             ` Dmitry A. Kazakov
2010-06-03  2:59                         ` Yannick Duchêne (Hibou57)
2010-06-03  7:23                           ` Niklas Holsti
2010-06-03  7:47                             ` Yannick Duchêne (Hibou57)
2010-06-04  9:09                               ` Stephen Leake
2010-06-04  9:08                           ` Stephen Leake
2010-06-04  9:27                             ` Brian Drummond
2010-06-04  9:40                             ` Dmitry A. Kazakov
2010-06-04 10:55                               ` Yannick Duchêne (Hibou57)
2010-06-04 12:23                                 ` Dmitry A. Kazakov
2010-06-04 12:59                                   ` Yannick Duchêne (Hibou57)
2010-06-05  4:00                               ` Stephen Leake
2010-06-05  6:13                                 ` tmoran
2010-06-05  8:00                                   ` Dmitry A. Kazakov
2010-06-05  9:05                                     ` Yannick Duchêne (Hibou57)
2010-06-05  9:30                                       ` Dmitry A. Kazakov
2010-06-05  9:45                                         ` Yannick Duchêne (Hibou57)
2010-06-06  6:36                                         ` Jacob Sparre Andersen
2010-06-05 17:59                                     ` tmoran
2010-06-05 19:59                                       ` Dmitry A. Kazakov
2010-06-05 20:41                                         ` tmoran
2010-06-06  7:18                                           ` Dmitry A. Kazakov
2010-06-06 19:27                                             ` tmoran
2010-06-07  7:48                                               ` Dmitry A. Kazakov
2010-06-06  3:46                                         ` Yannick Duchêne (Hibou57)
2010-06-06  7:23                                           ` Dmitry A. Kazakov
2010-06-06 10:22                                         ` Simon Wright
2010-06-06 11:18                                           ` Dmitry A. Kazakov
2010-06-06 13:58                                             ` Simon Wright
2010-06-06 17:22                                               ` Dmitry A. Kazakov
2010-06-05 12:16                                 ` Simon Wright
2010-06-04 19:23                           ` Fritz Wuehler
2010-06-04 21:10                             ` Martin Krischik
2010-06-04 22:02                             ` Dirk Craeynest
2010-06-05  3:33                             ` Duke Normandin
2010-06-05 23:17                               ` Non scrivetemi
2010-06-06  4:45                                 ` Duke Normandin
2010-06-06 16:41                                   ` Fritz Wuehler
2010-06-07  2:15                                     ` Duke Normandin
2010-06-07  6:06                                       ` Non scrivetemi
2010-06-05  7:47                             ` Georg Bauhaus
2010-06-05 22:43                               ` starwars
2010-06-04 21:09                       ` Martin Krischik
2010-05-24 13:20                     ` Duke Normandin
2010-05-25  2:10                       ` Stephen Leake
2010-05-23 18:32             ` (see below)
2010-05-23 19:10               ` Duke Normandin
2010-05-23 19:22                 ` (see below)
2010-05-23 19:40                   ` Duke Normandin
2010-05-24  7:55               ` Martin
2010-05-24 12:05                 ` (see below)
2010-05-24 13:27                   ` Martin
2010-05-24 13:28                 ` Yannick Duchêne (Hibou57)
2010-05-24 13:40                   ` Martin
2010-05-24 15:19                     ` Yannick Duchêne (Hibou57)
2010-05-20 21:29     ` Yannick Duchêne (Hibou57)
2010-05-21  7:58       ` Dmitry A. Kazakov
2010-06-05  8:04   ` Nasser M. Abbasi
2010-06-05  9:24     ` Yannick Duchêne (Hibou57)
2010-06-05 12:27       ` Simon Wright
2010-06-05 12:59       ` Dmitry A. Kazakov
2010-06-05 13:39         ` Yannick Duchêne (Hibou57)
2010-06-05 16:02         ` Nasser M. Abbasi
2010-06-05 18:50           ` Robert A Duff
2010-06-05 20:14             ` (see below)
2010-06-06  7:25               ` Dmitry A. Kazakov
2010-06-06  7:38                 ` Yannick Duchêne (Hibou57)
2010-06-06  7:46                   ` Dmitry A. Kazakov
2010-06-06  8:25                     ` Yannick Duchêne (Hibou57)
2010-06-06  9:22                       ` Dmitry A. Kazakov
2010-06-06 11:06                         ` Yannick Duchêne (Hibou57)
2010-06-06 11:45                           ` Dmitry A. Kazakov
2010-06-06 12:38                             ` Yannick Duchêne (Hibou57)
2010-06-06 13:10                               ` Dmitry A. Kazakov
2010-06-06 21:22                                 ` Georg Bauhaus
2010-06-07  7:26                                   ` Dmitry A. Kazakov
2010-06-07  7:56                                   ` Martin Krischik
2010-06-07 11:13                                     ` Georg Bauhaus
2010-06-07 12:22                                       ` Dmitry A. Kazakov
2010-06-07 14:12                                         ` Georg Bauhaus
2010-06-07 14:31                                           ` Yannick Duchêne (Hibou57)
2010-06-07 14:51                                           ` Dmitry A. Kazakov
2010-06-07 15:00                                             ` Georg Bauhaus
2010-06-07 15:09                                               ` Dmitry A. Kazakov
2010-06-07 15:28                                                 ` Martin Krischik
2010-06-07 15:50                                                 ` Georg Bauhaus
2010-06-07 16:58                                                   ` Dmitry A. Kazakov
2010-06-07 12:56                                       ` Yannick Duchêne (Hibou57)
2010-06-07 13:27                                         ` Dmitry A. Kazakov
2010-06-07 14:09                                           ` Georg Bauhaus
2010-06-07 14:48                                             ` Yannick Duchêne (Hibou57)
2010-06-07 15:05                                             ` Dmitry A. Kazakov
2010-06-07 15:34                                               ` Martin Krischik
2010-06-07 16:25                                                 ` Georg Bauhaus
2010-06-07 16:30                                                   ` Georg Bauhaus
2010-06-07 17:09                                                   ` Dmitry A. Kazakov
2010-06-08  6:54                                                   ` Martin Krischik
2010-06-07 14:44                                           ` Yannick Duchêne (Hibou57)
2010-06-07 12:58                                 ` Yannick Duchêne (Hibou57)
2010-06-07 13:20                                   ` Dmitry A. Kazakov
2010-06-09  6:31             ` Nasser M. Abbasi
2010-06-09 16:26               ` Robert A Duff
2010-06-05 19:34           ` Dmitry A. Kazakov
2010-06-05 22:56             ` Robert A Duff
2010-06-05 20:15           ` John B. Matthews
2010-06-06  4:08           ` Yannick Duchêne (Hibou57)
2010-06-05 21:16         ` Maciej Sobczak
2010-06-06  7:39           ` Dmitry A. Kazakov
2010-05-20 19:24 ` Anonymous
2010-05-20 19:35   ` Duke Normandin
2010-05-20 19:59     ` Ludovic Brenta
2010-05-21 20:10       ` Warren
2010-05-21 23:05         ` Duke Normandin
2010-05-21 23:44           ` Yannick Duchêne (Hibou57)
2010-05-21 23:55             ` Jeffrey R. Carter
2010-05-22  0:00             ` Duke Normandin
2010-05-25 16:55             ` Warren
2010-05-22 12:23           ` Peter C. Chapin
2010-05-22 13:17             ` Duke Normandin
2010-05-23  0:34           ` Anonymous
2010-05-23  2:23             ` Duke Normandin
2010-05-23  2:42           ` Yannick Duchêne (Hibou57)
2010-05-23 13:22             ` Duke Normandin
2010-05-24 12:14           ` Bryan
2010-05-24 13:22             ` Duke Normandin
2010-05-24 19:56             ` Jeffrey R. Carter
2010-05-25 17:00             ` Warren
2010-05-25  2:11           ` Stephen Leake
2010-05-20 21:37     ` Yannick Duchêne (Hibou57)
2010-05-21 11:00 ` jonathan
2010-05-21 14:21   ` Duke Normandin
2010-05-21 17:29     ` Yannick Duchêne (Hibou57)
2010-05-21 19:52       ` Duke Normandin
2010-05-21 20:11     ` Peter C. Chapin
2010-05-21 20:21       ` Jeffrey R. Carter
2010-05-21 23:07       ` Duke Normandin
2010-05-21 23:13         ` Yannick Duchêne (Hibou57)
2010-05-21 23:53           ` Duke Normandin
2010-05-21 23:24       ` Yannick Duchêne (Hibou57)
2010-05-24 18:01     ` Luis Espinal
2010-05-24 19:34       ` Duke Normandin
2010-05-24 20:04         ` Yannick Duchêne (Hibou57)
2010-05-24 20:25           ` John B. Matthews
2010-05-24 22:21           ` Jeffrey R. Carter
2010-05-24 22:38             ` Yannick Duchêne (Hibou57)
2010-05-25 11:41         ` Anonymous
2010-05-25 12:08           ` Georg Bauhaus
2010-05-25 13:47             ` George Orwell
2010-05-25 14:24               ` Georg Bauhaus [this message]
2010-05-25 16:15                 ` J-P. Rosen
2010-05-25 17:34                   ` Dmitry A. Kazakov
2010-05-25 17:42                     ` Ludovic Brenta
2010-05-25 18:16                       ` Yannick Duchêne (Hibou57)
2010-05-25 21:27                         ` Ludovic Brenta
2010-05-25 18:13                     ` Yannick Duchêne (Hibou57)
2010-05-26  7:42                       ` Dmitry A. Kazakov
2010-05-26 21:22                         ` Simon Wright
2010-05-26 21:35                           ` Yannick Duchêne (Hibou57)
2010-05-25 18:16                     ` J-P. Rosen
2010-05-25 18:08                   ` Yannick Duchêne (Hibou57)
2010-05-26  7:24                   ` Stephen Leake
2010-05-26  9:58                     ` Georg Bauhaus
2010-05-26 10:11                       ` Yannick Duchêne (Hibou57)
2010-05-26 10:21                       ` Dmitry A. Kazakov
2010-05-25 16:24                 ` Nomen Nescio
2010-05-25 18:28                   ` Yannick Duchêne (Hibou57)
2010-05-25 19:50                     ` John B. Matthews
2010-05-25 20:20                       ` Yannick Duchêne (Hibou57)
2010-05-25 20:27                       ` Yannick Duchêne (Hibou57)
2010-05-25 18:06                 ` Yannick Duchêne (Hibou57)
2010-05-27 13:20           ` Ada compilers written in ... (was: Re: Ada noob here! Is Ada widely used?) Georg Bauhaus
2010-05-28  2:31             ` Mike Sieweke
2010-05-28  5:01             ` AdaMagica
2010-05-26  7:21         ` Ada noob here! Is Ada widely used? Stephen Leake
2010-05-26  7:59           ` Yannick Duchêne (Hibou57)
2010-05-26  8:06             ` AdaMagica
2010-05-26  8:33               ` Dmitry A. Kazakov
2010-05-26  8:55             ` Ludovic Brenta
2010-05-26  9:24               ` Georg Bauhaus
2010-05-26  9:42                 ` Yannick Duchêne (Hibou57)
2010-05-27  6:49               ` J-P. Rosen
2010-05-27  7:48                 ` Yannick Duchêne (Hibou57)
2010-05-27 16:50                   ` J-P. Rosen
2010-05-27 17:24                     ` Dmitry A. Kazakov
  -- strict thread matches above, loose matches on Subject: below --
2010-06-09 10:00 AdaMagica
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox