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.107.82.5 with SMTP id g5mr2309149iob.101.1521041086002; Wed, 14 Mar 2018 08:24:46 -0700 (PDT) X-Received: by 10.157.96.5 with SMTP id h5mr264828otj.14.1521041085748; Wed, 14 Mar 2018 08:24:45 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!feed.usenet.farm!feeder4.feed.usenet.farm!weretis.net!feeder6.news.weretis.net!feeder.usenetexpress.com!feeder-in1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!e10-v6no290249itf.0!news-out.google.com!h73-v6ni824itb.0!nntp.google.com!e10-v6no290246itf.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Wed, 14 Mar 2018 08:24:45 -0700 (PDT) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=47.185.233.194; posting-account=zwxLlwoAAAChLBU7oraRzNDnqQYkYbpo NNTP-Posting-Host: 47.185.233.194 References: <5a8e17dc-1d52-4393-be58-8881e741c3a4@googlegroups.com> <92b09533-40a2-4a91-a9bc-7b6eddb3e3a1@googlegroups.com> <1f3db512-b336-47aa-a3de-1f3771c15d75@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: Embeddinator-4000 begetting an Ada-cross-platform future? From: "Dan'l Miller" Injection-Date: Wed, 14 Mar 2018 15:24:45 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Xref: reader02.eternal-september.org comp.lang.ada:50971 Date: 2018-03-14T08:24:45-07:00 List-Id: Alex wrote: > the resulting Api is a thin layer over the top of each of the winRT class= es > (each implemented as a tagged type)=20 Oh, thank goodness! Thank you very much! Kenny Kerr's usage of value inst= ances as type-ish stand-ins for types will likely be the cause of criticism= /ridicule of C++/WinRT once its usage increases outside of Microsoft. (Mic= rosoft has a track-record of ridicule with 3 prior iterations: 1) Stanley = Lippman's managed C++ (adding COM semantics intrinsically to C++ object mod= el), 2) Herb Sutter's C++/CLI (C++ divided by CLI: grafting on C# semantics= via ^-syntaxed not-quite-C++ C++-ish/C#-ish language strewn throughout C++= , hence the pejorative =E2=80=9Cdivided by=E2=80=9D moniker), 3) C++/CX (C+= + divided by CX: analogous grafting of weird add-on language but for proce= ssor-native machine code instead of CLR), and now 4) weird not-types used a= s stand-ins for what the human brain thinks of as types hence again a graft= ed-on thing that doesn't feel at all like C++ (or any other strongly-type l= anguage's very-in-your-face type system). Even if there exist downsides in= your approach (e.g., a little more runtime overhead due to the tags' indir= ection), keeping the types as first-class citizens will be worth it. > Still a lot of work to do with mapping winRT generics to Ada. It appears that Kenny Kerr's work in C++/WinRT also is incomplete in that a= rea, among others (e.g., Rx and Ix reactive & interactive extensions). I b= elieve these areas are deemphasized in C++/WinRT because they are deemed to= have ISO C++ analogues to utilize instead (e.g., the standard library; RxC= pp). Do you really need to get the mapping of WinRT generics to Ada for an= initial release of your WinRT-to-Ada binding generator? I guess that bege= ts the more-fundamental question: how do you envision releasing your WinRT= -to-Ada binding generator? Open-source? Proprietary commercial product?