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 X-Received: by 10.52.61.197 with SMTP id s5mr4485519vdr.8.1400160642169; Thu, 15 May 2014 06:30:42 -0700 (PDT) X-Received: by 10.183.3.75 with SMTP id bu11mr2052obd.41.1400160641963; Thu, 15 May 2014 06:30:41 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!news.glorb.com!c1no7279113igq.0!news-out.google.com!qf4ni1808igc.0!nntp.google.com!r10no4941829igi.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Thu, 15 May 2014 06:30:41 -0700 (PDT) Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=71.252.147.203; posting-account=zwxLlwoAAAChLBU7oraRzNDnqQYkYbpo NNTP-Posting-Host: 71.252.147.203 User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Seed7 as inspiration for Ada202X From: "Dan'l Miller" Injection-Date: Thu, 15 May 2014 13:30:42 +0000 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Xref: news.eternal-september.org comp.lang.ada:19845 Date: 2014-05-15T06:30:41-07:00 List-Id: http://seed7.sourceforge.net/faq.htm As seen in Seed7's FAQ and reference webpages, Seed7 has a variant of some = of the bold fresh features that were mentioned by various posters in the re= cent Ada202X-wishlist thread here on comp.lang.ada. For example, Seed7 has= : 1) types as truly first-class citizens (as objects with stage-n+1 reflectio= n of properties of types generated in stage-n) that can blossom in the next= stage of: 2) multistage programming that not only rejects modern C++'s misguided poor= -man's emulation of functional programming, but also fundamentally integrat= es/imbues the concept of a generic/template throughout the rest of the lang= uage, which blurs the line between: 3) stage-n interpreter within the stage-n+1 compiler as a compile-time sour= ce-code-generator-like presentation of source code to the n+1 stage that no= t only rejects C's, C++'s, and gnatprep's misguided preprocessor, but Seed7= 's breadth of compile-time variant selection/generation seems to go so far = as to eclipse such Ada's narrower-vision patchwork of discriminants and chi= ld-package substitution for tailoring source-code to compile in multiple va= riant targets or for multiple variant problemspaces. 4) extensible syntax for creating domain-specific problem-space-specific "l= ittle languages" (=E0 la OCaml & its p4), as well as a multistage progressi= on of compiler-frontends because: 5) all statements are effectively user-defined syntax (with some basic usua= l branching constructs provided as a sort of standard library); 6) multiple dispatch. The worst complaint that I have with Seed7 is that it is not a proper super= set of Ada, especially regarding the lack of low-level bit & bit-string dec= larations and the apparent lack of ability to declare constraints on subtyp= es.