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=unavailable autolearn_force=no version=3.4.4 Path: border1.nntp.dca3.giganews.com!backlog3.nntp.dca3.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!feeder.erje.net!eu.feeder.erje.net!news-1.dfn.de!news.dfn.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail From: Niklas Holsti Newsgroups: comp.lang.ada Subject: Re: Augusta: An open source Ada 2012 compiler (someday?) Date: Thu, 27 Mar 2014 22:51:21 +0100 Organization: Tidorum Ltd Message-ID: References: <1f0a85a6-ea4d-4d30-8537-0ce9063f992a@googlegroups.com> <89a0ea84-83e2-4693-b2ea-ea9da65bbc73@googlegroups.com> Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Trace: individual.net vZ+USdobqcUAlrSLqLHb6wTDw9JUM1ze/sL175Rc9X/+iHJlvI Cancel-Lock: sha1:XByim1DF40pB/PCw9aT2HH82gRE= User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.8; rv:24.0) Gecko/20100101 Thunderbird/24.4.0 In-Reply-To: <89a0ea84-83e2-4693-b2ea-ea9da65bbc73@googlegroups.com> X-Original-Bytes: 3650 Xref: number.nntp.dca.giganews.com comp.lang.ada:185382 Date: 2014-03-27T22:51:21+01:00 List-Id: On 14-03-27 21:38 , Lucretia wrote: > On Thursday, 27 March 2014 20:02:56 UTC, Simon Clubley wrote: > >> [*] To bring this back on topic, why does something which looks like >> Ada have to be called Ada ? Call it something else and get people >> using Ada without realising it. :-) > > I've already mentioned doing this on #Ada, a fork of Ada. > Take the basic language, strip it down to the basics So, what are the "basics"? This might work, if the "basics" is really so small a language that a compiler can be implemented (and mantained) with much, much less effort than a real Ada compiler. More interesting to me would be work towards making Ada compiler implementation easier. It seems to me that progress in formal methods, functional and declarative languages, and computer power, since the 80's, should make it possible to implement something like the SETL version of Ada-Ed, but with acceptable performance for programs that are not humongously large. At the same time, such work, at least if done in an academic setting, could help to clarify the dark corners of the language standard. > and extend, replacing anything that's a little weird. Weirdness is subjective and depends on one's upbringing (that is, earlier programming languages). As a motivation for replacing something, that does not get my support. > i.e. 1) add exception records > > type E is exception > record > My_Data : Integer; > end record; I might support that for "real" Ada, too. But I believe there would have to be restrictions on the nature of the record to avoid too complex memory management when an exception is raised or handled. > 2) User defined types having 'Image and 'Value, which call > a subprogram which must be defined if these attributes are > to be used - much like the stream operations do. I support that. But there should be default implementations, just like the stream operations have defaults. The defaults should be extended to cover non-scalar types, too. > 3) Replace tagged with just class, so: > > type C is > class > ... > end class; A mere sop to foreign conventions and creates useless non-uniformity between different kinds of records. I'm against it. -- Niklas Holsti Tidorum Ltd niklas holsti tidorum fi . @ .