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 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: Ada lacks lighterweight-than-task parallelism Date: Wed, 20 Jun 2018 16:32:58 +0200 Organization: Aioe.org NNTP Server Message-ID: References: <993f28de-6a64-480b-9c6e-d9714bcdef0d@googlegroups.com> <167bec10-2a52-4c79-958d-91faadad915b@googlegroups.com> <2d6a5ab7-812f-47a9-a958-44177a3cf203@googlegroups.com> <64a526cb-e6d5-44a6-b446-5b652ebe60ca@googlegroups.com> NNTP-Posting-Host: MyFhHs417jM9AgzRpXn7yg.user.gioia.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Complaints-To: abuse@aioe.org User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:52.0) Gecko/20100101 Thunderbird/52.8.0 X-Notice: Filtered by postfilter v. 0.8.3 Content-Language: en-US Xref: reader02.eternal-september.org comp.lang.ada:53206 Date: 2018-06-20T16:32:58+02:00 List-Id: On 2018-06-20 16:01, Mehdi Saada wrote: > Considering how complicate writing Ada compilers already is, and seeing that there is no standard interface between those and tools - as far as I get it - it would likely make the hypothetic compilers huge and considering GNAT is the only one implementing (most) of the 2012 version, fusing tools and compilers might close for good the Ada compilers market. > Haven't you been promoting free market ? Yes. > Stop me if I made a mistake. How adding features like low-level parallelism makes compiler smaller? I actually want a reduced Ada. The exiting type system must be moved to the library level expressed in more general terms. Generics can be removed. Representation clauses hugely reduced to essential. Containers need not to be in the standard. I/O library can be hugely reduced once the type system fixed. All dynamic checks can be removed, replaced by static contracts: do this when that or raise Constraint_Error otherwise. etc. Essential are only the type system, compilation units, tasking and statical analysis support. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de