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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD, FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4 X-Received: by 2002:a6b:3001:: with SMTP id w1-v6mr946321iow.18.1529687173525; Fri, 22 Jun 2018 10:06:13 -0700 (PDT) X-Received: by 2002:aca:d60f:: with SMTP id n15-v6mr141082oig.6.1529687173342; Fri, 22 Jun 2018 10:06:13 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.unit0.net!newsreader5.netcologne.de!news.netcologne.de!peer03.ams1!peer.ams1.xlned.com!news.xlned.com!peer03.am4!peer.am4.highwinds-media.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!u78-v6no904594itb.0!news-out.google.com!z3-v6ni1051iti.0!nntp.google.com!u78-v6no904591itb.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Fri, 22 Jun 2018 10:06:13 -0700 (PDT) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=76.113.16.86; posting-account=lJ3JNwoAAAAQfH3VV9vttJLkThaxtTfC NNTP-Posting-Host: 76.113.16.86 References: <993f28de-6a64-480b-9c6e-d9714bcdef0d@googlegroups.com> <167bec10-2a52-4c79-958d-91faadad915b@googlegroups.com> <2d6a5ab7-812f-47a9-a958-44177a3cf203@googlegroups.com> <4834588f-c891-4a34-a32d-007c91f27399@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: Ada lacks lighterweight-than-task parallelism From: Shark8 Injection-Date: Fri, 22 Jun 2018 17:06:13 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Received-Bytes: 4036 X-Received-Body-CRC: 3873823014 Xref: reader02.eternal-september.org comp.lang.ada:53257 Date: 2018-06-22T10:06:13-07:00 List-Id: On Thursday, June 21, 2018 at 10:07:01 AM UTC-6, Dmitry A. Kazakov wrote: > On 2018-06-21 16:42, Shark8 wrote: > > On Thursday, June 21, 2018 at 3:09:26 AM UTC-6, Dmitry A. Kazakov wrote= : > >> On 2018-06-21 02:19, Shark8 wrote: > > Integration. > > I don't mean "IDE" like the industry has come to think of it (editor + = button-to-call-external-tool). / Think more like R-1000 on steroids, not GP= S. > >=20 > > The integration that you're proposing isn't going to be happening on th= is revision of the language, BUT we can integrate it as closely as possible= in the form of an IDE, acting /as if/ there were a requirement for such in= tegration. (And indeed, the Ada spec requires a degree of this WRT static a= nalysis currently, so it certainly is possible to integrate these things.) >=20 > I see what you mean. I think it would be difficult to do without proper= =20 > integration. We need contracts properly inherited, e.g. in the case of=20 > exceptions, as well as all sorts of conditional contracts, this if that,= =20 > I am OK if he is OK etc. Doing this outside the compiler would require=20 > lots of helper files gathering information from the parser, compiler,=20 > prover and redistributing it in all possible directions. My fear is that= =20 > it will be impossible to handle. GPS, gprconfig, gprbuild already=20 > generate a dozen of such files, promptly to stumble upon. Recently I had= =20 > a persistent compiler crash. Project cleanup didn't help. Only when I=20 > manually deleted all files except the sources it worked again. GPS, gprconfig, gprbuild, etc are irrelevant, I'm not saying we start with = extant tools and methodologies. Besides the "dozens of such files" are only= indicative of the lack of integration between these tools. (Arguably you c= ould make a highly-integrated system that did use files intermediately betw= een its tools; however, even if they were initially as a set of integrated = tools, unless there was a central library handling these file-types, they w= ould accumulate ad hock changes/improvements and thus have unbalanced devel= opment: much like dialects in real-world/natural-language.) -- Plus, as you= saw these dozens of files require management.