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 2002:a24:b14a:: with SMTP id c10-v6mr1010597itj.4.1531409258698; Thu, 12 Jul 2018 08:27:38 -0700 (PDT) X-Received: by 2002:aca:c6ca:: with SMTP id w193-v6mr585956oif.1.1531409258528; Thu, 12 Jul 2018 08:27:38 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.linkpendium.com!news.linkpendium.com!news.snarked.org!border2.nntp.dca1.giganews.com!nntp.giganews.com!g2-v6no1629326itf.0!news-out.google.com!l67-v6ni1894itl.0!nntp.google.com!g2-v6no1629323itf.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Thu, 12 Jul 2018 08:27:38 -0700 (PDT) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=47.185.195.62; posting-account=zwxLlwoAAAChLBU7oraRzNDnqQYkYbpo NNTP-Posting-Host: 47.185.195.62 References: <2048d6d6-04e2-4e2c-9483-e3769da59781@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <4b5743b1-846c-4397-a096-af986c675363@googlegroups.com> Subject: Re: Kernel Syscall from Ada? From: "Dan'l Miller" Injection-Date: Thu, 12 Jul 2018 15:27:38 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Xref: reader02.eternal-september.org comp.lang.ada:53778 Date: 2018-07-12T08:27:38-07:00 List-Id: On Thursday, July 12, 2018 at 3:19:34 AM UTC-5, Lucretia wrote: > On Thursday, 12 July 2018 02:32:30 UTC+1, Dan'l Miller wrote: >=20 > > available for purchase in each major national standards body, such as f= or $232 in the USA: > > https://webstore.ansi.org/RecordDetail.aspx?sku=3DISO%2FIEC%2014519:200= 1&source=3Dpreview >=20 > Bit pricey, really, for a book. I can see this interface being rewritten = cleanroom tbh in Ada 2012, i.e. the > api won't be the same. https://en.wikibooks.org/wiki/Ada_Programming/Platform/POSIX Yes, the POSIX.5 standard and Florist implementation thereof is Ada95 era. = As a thick binding, it likely could be freshened up a tad to Ada2012. If = the latest public version from AdaCore is strictly GPLed, then the older ed= itions from Florida State should be GMGPL instead. Acquiring a copy of the standard instead (e.g., borrowing it from an engine= ering library at a university) would permit a fairly easy cleanroom reimple= mentation directly from the standard. That re-implementation could provide= Ada95, Ada2005, and Ada2012 personalities, perhaps going far beyond the st= andard for Ada2012. But ultimately, the result is still an add-on layer to= the C-language syscall =E2=80=A6 =E2=80=A6 I still think what would put Ada on the map via public fanfare wo= uld be an Ada-centric distribution of Linux (or BSD Unix for that matter, o= r both) that add a whole set of Ada-only syscalls in a new Ada-only syscall= table to put Ada on 100% equal footing as C for Linux programming. Not ev= en C++ has that. (What better way to compete with C++?) Ada should walk c= onfidently in through the front door. In all the POSIX.2 (C API) areas of = Linux syscalls, the Ada syscalls perhaps should be the POSIX.5 (Ada thick b= inding) verbatim (at least when in Ada95 mode).