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.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,70414f56d810c10c X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII Received: by 10.68.38.38 with SMTP id d6mr40609630pbk.4.1317408936961; Fri, 30 Sep 2011 11:55:36 -0700 (PDT) Path: lh7ni8482pbb.0!nntp.google.com!news1.google.com!feed-C.news.volia.net!volia.net!news2.volia.net!feed-A.news.volia.net!goblin2!goblin.stu.neva.ru!aioe.org!.POSTED!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: discriminant questions Date: Fri, 30 Sep 2011 20:55:31 +0200 Organization: cbb software GmbH Message-ID: References: <9f37b726-d80b-4d24-bf3f-28a14255f7fd@s20g2000yql.googlegroups.com> <1malv6h6q31j3.uz9ws5j0glnm.dlg@40tude.net> <4e81a2f4$0$7624$9b4e6d93@newsspool1.arcor-online.net> <4e81e788$0$6542$9b4e6d93@newsspool4.arcor-online.net> <4e8210ab$0$6550$9b4e6d93@newsspool4.arcor-online.net> <4e83b568$0$7620$9b4e6d93@newsspool1.arcor-online.net> <1vb9afcggqs8b$.prrlzbnf51p$.dlg@40tude.net> <4e8594fa$0$6629$9b4e6d93@newsspool2.arcor-online.net> <1kjj3jgps8ka0$.19lhxt8t7ip2t.dlg@40tude.net> <4e85fef2$0$6548$9b4e6d93@newsspool4.arcor-online.net> Reply-To: mailbox@dmitry-kazakov.de NNTP-Posting-Host: EMY6V9w2JsuJ/8EEiAFEEw.user.speranza.aioe.org Mime-Version: 1.0 X-Complaints-To: abuse@aioe.org User-Agent: 40tude_Dialog/2.0.15.1 X-Notice: Filtered by postfilter v. 0.8.2 Xref: news1.google.com comp.lang.ada:18242 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 8bit Date: 2011-09-30T20:55:31+02:00 List-Id: On Fri, 30 Sep 2011 19:40:01 +0200, Georg Bauhaus wrote: > On 30.09.11 14:38, Dmitry A. Kazakov wrote: >> On Fri, 30 Sep 2011 12:07:53 +0200, Georg Bauhaus wrote: >> >>> Whether or not programmers should be able to correctly manipulate >>> language features. >> >> They should not. > > So that's a no. > > Then: > >>> Should a language like Prolog be defined such that (...) >>> replace the backtracking implementation with one of their own? > >> Yes, if Prolog designers wished it survive... but they didn't. > > And that's a yes. > > Can the contradiction be resolved? There is no contradiction. It is like Ada storage pools, by providing a custom storage pool you don't manipulate language features. >> I bet that practically no program uses the number -435167342. Is it not >> general purpose? > > It is not, if no purpose can be specified, and I suppose that > few language standards talk about the number -435167342. > (Maybe the telephone directory of Eckernf�rde does :-) > Numeric types will more likely match general purpose. That has implications, once you add an integer type you must provide -435167342 with it. In fact, 435167342 is an integral part of Ada syntax (as a literal, all possible literals are). >>> I'll also prefer "task" to mean something that Ada programmers would >>> recognize. >> >> As something, which is not a task? >> >> I don't understand what you are trying to say. Task is fundamental to >> concurrent computing, they cannot be expressed in any other terms. > > The notion of Ada tasks is a composite notion. No, Ada tasks is a possible implementation of abstract task. The components of Ada tasks are as composite as the components of Ada subprograms, Ada gotos etc. > ... Hence, seen as a notion, a task is not atomic. That does not follow. In order to show it you have to demonstrate how to implement a task without using tasks. > Typical facilities of an Ada task can be built from other primitives > of concurrent programming, if one were to do this in another language. There is no such primitives. The corresponding OS primitives (e.g. threads) or ones of the Ada RTL, are already tasks, albeit non-Ada tasks. > Since the Ada notion of task incorporates many facilities > that can be taken for granted, I call tasks heavy, in this > sense. This definition of "heavy" makes no sense. > Since we have protected objects, sometimes qualified to be > light weight, there must have been another notion of "heavy" > associated with task. (I.e., in another sense.) The protected object has no less "facilities" than the task. The light weight of protected object refer to its application to certain concurrency problems under certain machine architectures *in addition* to tasks. These very problems can be solved without protected objects using tasks only. The opposite is wrong: no concurrency problem can be solved by protected objects alone without tasks (and interrupts, which is a special case of task). >>> Plus: 4) compiler making business requirements, >> Irrelevant. > Practically, compiler making business is rather decisive. > Just look at who is active on behalf of the ARG; Google is paying > ... for Python, Go ..., MS is paying ... for language research > (including standardized languages like C++ or Javascript), the > WGs being staffed by ... So? Do you sincerely believe the result depends on who pays? Commercial languages are equally poor, because the market of languages is dysfunctional, dead. >> Anyway, you didn't answer which category is supposed to decide what is >> "heavy". > > People from all of the categories try to move decisions in certain > directions. People here have different influence. There is no consensus on what is "heavy", so your model just does not work. >>> or tries to be minimal in some sense. >> >> This applies to *any* language. > > Being minimal applies to any language only if one trivializes > "minimal in some sense", which is a trap. The "some sense" > part is the interesting part. See above. >>> Alternatively, the customer/programmer can just have >>> a Prolog shop make an implementation the meets their special requirements. >> >> See above. It didn't work in 60s, > > It works for some of the Ada business now, if I'm not mistaken. You are. There is no competing Ada clones. Deviations are considered as flaws not as special features. Would by buy a DVD burner that produces unreadable DVDs? Anybody prefer, maybe, suboptimal, but most compatible and versatile product. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de