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.50.79.129 with SMTP id j1mr14407318igx.7.1403635469211; Tue, 24 Jun 2014 11:44:29 -0700 (PDT) X-Received: by 10.182.165.36 with SMTP id yv4mr28380obb.18.1403635469076; Tue, 24 Jun 2014 11:44:29 -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!uq10no7839854igb.0!news-out.google.com!qf4ni15igc.0!nntp.google.com!uq10no7839842igb.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Tue, 24 Jun 2014 11:44:28 -0700 (PDT) In-Reply-To: <690e9589-b410-428d-8691-fe45554a4982@googlegroups.com> 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 References: <255b51cd-b23f-4413-805a-9fea3c70d8b2@googlegroups.com> <5ebe316d-cd84-40fb-a983-9f953f205fef@googlegroups.com> <2100734262424129975.133931laguest-archeia.com@nntp.aioe.org> <5156oy7vhg99.17wu6q2ef45ke.dlg@40tude.net> <18et97c0c22vc$.y98lxxfblijn.dlg@40tude.net> <08f83f70-ccb1-45ec-8a4c-46e3442745b8@googlegroups.com> <557db566-fa02-4978-8798-50a097aa5407@googlegroups.com> <690e9589-b410-428d-8691-fe45554a4982@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: Ada platforms and pricing, was: Re: a new language, designed for safety ! From: "Dan'l Miller" Injection-Date: Tue, 24 Jun 2014 18:44:29 +0000 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Xref: news.eternal-september.org comp.lang.ada:20585 Date: 2014-06-24T11:44:28-07:00 List-Id: On Tuesday, June 24, 2014 1:06:45 PM UTC-5, Dan'l Miller wrote: > ... GUI infrastructure and the app-domain usage there of to defer which o= bject in a hierarchy of nested 2D widgets to process an event (e.g., mouse-= click; button press; keystroke) ... Btw, the meta-object compiler (MOC) in C++'s Qt framework is a fixed GUI-sp= ecific DSL that is in effect one stage of a multistage C++ compiler. [Qt i= s pronounced "cute", which is (a stunted amount of) recursive cuteness, btw= .] Qt's MOC is designed primarily to add reflection to C++ to support Qt's= socket-&-slot binding. But the concept is ripe for genericization in Ada2= 02X as a generalized DSL language (a la OCaml with p4) and as a generalized= multistage compiler (a la MetaOCaml): 1) so that writing a MOC-equivalent for Ada202X would be merely an app-doma= in usage of (a stage of compilation in) Ada202X; and 2) so that adding compile-time checking of event dispatch in a heterogenous= hierarchy of GUI widgets instead of Objective-C's & Swift's run-time-only = fatal-error [200 postings ago in this thread] would be merely an app-domain= usage of (a stage of compilation in) Ada202X; and 3) so that a first-class-citizen representation of an FSM would be merely a= n app-domain usage of (a stage of compilation in) Ada202X; 4) [add here your next 1000 highly-useful DSLs here as a stage of compilati= on in Ada202X, preferably :-) not a 1000 deep all in the same language-tran= slation unit]. Does everyone see how this could put Ada202X back in the driver's seat vis = a vis mindshare of compiled programming languages, very similarly to Green = & Ada-83 being in the driver's seat of state-of-the-art during the late 197= 0s and throughout the 1980s?