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 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: Things that OO programming lacks Date: Mon, 17 Nov 2014 18:28:16 +0100 Organization: cbb software GmbH Message-ID: References: <87389olqie.fsf@ixod.org> <10d9w.55626$8w1.22302@fx12.iad> <150er0b62wsh3$.1xabmp81w5kdw.dlg@40tude.net> <1azsoc77wjhmi$.1grmnnlq033tz.dlg@40tude.net> <5yzci4a8snfg.1dfsqjyvneeym$.dlg@40tude.net> Reply-To: mailbox@dmitry-kazakov.de NNTP-Posting-Host: wfRpp7ltpEWhI2na6kgpfA.user.speranza.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Complaints-To: abuse@aioe.org User-Agent: 40tude_Dialog/2.0.15.1 X-Notice: Filtered by postfilter v. 0.8.2 Xref: news.eternal-september.org comp.lang.ada:23479 Date: 2014-11-17T18:28:16+01:00 List-Id: On Mon, 17 Nov 2014 16:17:59 +0100, G.B. wrote: > Here is the situation: > there always are questions about what the heck happened > as a consequence of the execution of a program, e.g. failure. > The questions are formulated in a language used by companies, > by heads of departments, by customers, by lawyers etc. These > need to be answered, and the answer will, at some stage, > involve the programmer. A good PL will provide for answers > with the help of dedicated source text. That's the idea. > If you find that a truism, I wonder why nothing changes, > but in any case, it won't stop scrutinizing the facts. Because nothing can happen. No language can describe the program's meaning. It is always up to the programmer to map program entities to the outer world's meanings. > For example, an FSM situation (cf. Niklas' post) that could > be bridled by narrowing the error space with the help of > new language seems clearly better than trying to find the > cause by divide and conquer. Why is it clear? I don't see it clear. FSM are proven to be extremely complex to use, error-prone and unmaintainable. That is because states are as uncomposable as events are. If you add new or remove old states you are in deep trouble. >>> If Obj_1 and Obj_2 are objects, then I would like the language >>> to have syntax, say "(*)", for >>> >>> Obj_1 (*) Obj_2 >>> >>> which would *not* be a function call. >> >> Then these are not objects. The only thing you can do with objects is to >> use the operations of. This is called typing. > > Let's say you can't think of any interpretation of > > Obj_1 (*) Obj_2 > > other than in terms of operations of the types of Obj_N. No, I cannot. For anybody the notation x*y means take x, take y, apply *, get the result. This is the basic language structure of nouns bound by verbs. > Is this reason enough to say that other interpretations > are impossible? Like what? > In particular, they could reflect the intention of introducing (*). Why anybody liked to introduce (*)? -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de