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,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 2002:a6b:ce9:: with SMTP id 102-v6mr1427966iom.134.1524070936607; Wed, 18 Apr 2018 10:02:16 -0700 (PDT) X-Received: by 2002:a9d:5c8d:: with SMTP id a13-v6mr183434oti.6.1524070936435; Wed, 18 Apr 2018 10:02:16 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.uzoreto.com!weretis.net!feeder6.news.weretis.net!feeder.usenetexpress.com!feeder-in1.iad1.usenetexpress.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!f63-v6no373671itc.0!news-out.google.com!u64-v6ni6999itb.0!nntp.google.com!k65-v6no3748464ita.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Wed, 18 Apr 2018 10:02:16 -0700 (PDT) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=2a02:c7d:3c35:b000:325a:3aff:fe0f:37a5; posting-account=L2-UcQkAAAAfd_BqbeNHs3XeM0jTXloS NNTP-Posting-Host: 2a02:c7d:3c35:b000:325a:3aff:fe0f:37a5 References: <1c73f159-eae4-4ae7-a348-03964b007197@googlegroups.com> <878t9nemrl.fsf@nightsong.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: =?UTF-8?B?UmU6IEhvdyB0byBnZXQgQWRhIHRvIOKAnGNyb3NzIHRoZSBjaGFzbeKAnT8=?= From: Lucretia Injection-Date: Wed, 18 Apr 2018 17:02:16 +0000 Content-Type: text/plain; charset="UTF-8" X-Received-Bytes: 3358 X-Received-Body-CRC: 442250735 Xref: reader02.eternal-september.org comp.lang.ada:51600 Date: 2018-04-18T10:02:16-07:00 List-Id: On Wednesday, 18 April 2018 14:29:30 UTC+1, Jere wrote: > 1. It favors static allocation over dynamic whenever possible. This is > huge for small embedded systems. So does Ada. > 2. It is currently implemented on LLVM which is a huge pool of untapped > user base for Ada (I don't think there are any current Ada implementations > on LLVM with the most recent being somewhere around GNAT 4.7 or 4.8? Or > do any other compiler vendors target LLVM at all?). Last LLVM based version, from Apple, is llvmgcc42-2336.11, which is based on LLVM 2.7 and based on GCC 4.0.1 (sources say) - 4.2 (version above). Which is ancient and would require rewriting the glue between GNAT and LLVM. > 4. It is not hindered by backwards compatibility concerns. They take There are a lot of people who would love to see a new Ada version break away from the previous versions, possibly even a rewrite removing all the crap that's not really required and basically, an Ada for the 21st century. > 6. The license situation is much nicer out of the gate. There are two See above comments. > 7. The language restrictions it sets makes a lot of typically "runtime" > errors into compiler errors. The tradeoff here is the compiler is > very much more picky than even an Ada compiler. It is much more difficult > to get a complex program to compile in Rust than it is in Ada (which > is slightly ironic given the learning curve comment alluded to in another > message earlier). They say that the borrow checker is a cruel mistress, > and they do not lie. Yet people still bitch about how "hard" it is to get an Ada program to compile. > I'm not sure the languages are similar enough to do a fair comparison. They > both approach things very differently. Ada targets software development > much more (Readability, problem domain describing types, etc.). Rust doesn't This is where Ada really shines, but it could go further with endian describing. There is no other language which does this, at all Luke.