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,677963b1aa23e668 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,UTF8 Path: g2news1.google.com!news3.google.com!feeder.news-service.com!news.albasani.net!feeder.erje.net!newsfeed.utanet.at!newsfeed01.chello.at!newsfeed.arcor.de!newsspool3.arcor-online.net!news.arcor.de.POSTED!not-for-mail From: "Dmitry A. Kazakov" Subject: Re: What's stopping you from using Ada for your next commercial project? Newsgroups: comp.lang.ada User-Agent: 40tude_Dialog/2.0.15.1 MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: 8bit Reply-To: mailbox@dmitry-kazakov.de Organization: cbb software GmbH References: <4d78867e$0$23760$14726298@news.sunsite.dk> <87r5afv0qa.fsf@ludovic-brenta.org> <4d78a96b$0$23753$14726298@news.sunsite.dk> <4d78c3c6$0$23757$14726298@news.sunsite.dk> <1wcgairebjd7m.1i237ckyxwpe5.dlg@40tude.net> <11zqndd40kbz5$.9y0rytl76z0h.dlg@40tude.net> <3i7nz04e5x2m$.1x71gsb2po9yi.dlg@40tude.net> Date: Mon, 14 Mar 2011 09:43:32 +0100 Message-ID: <1j71s1sqak5wq.1mm8j82io7o52$.dlg@40tude.net> NNTP-Posting-Date: 14 Mar 2011 09:43:32 CET NNTP-Posting-Host: 4a5258b6.newsspool4.arcor-online.net X-Trace: DXC=\PI@XZWC9?7enW;^6ZC`4\`mfM[68DC3ceQ<0C_]]J8 X-Complaints-To: usenet-abuse@arcor.de Xref: g2news1.google.com comp.lang.ada:18157 Date: 2011-03-14T09:43:32+01:00 List-Id: On Mon, 14 Mar 2011 03:38:25 +0100, Yannick Duchêne (Hibou57) wrote: > Le Sun, 13 Mar 2011 15:35:06 +0100, Dmitry A. Kazakov > a écrit: >> There will be other algorithms if the paradigm really change. >> >>> I tried to look at some “tutorials” last year (ouch, and they dare to >>> name >>> this, “tutorials”!)… I gave up. >> >> New concepts are difficult to gasp. Someone posted a link to an article >> about a Lisp clone proposed! (:-)) >> >>> Two-states based computer are light years simpler than that. >> >> Proponents of abacus would say same about modern computers. > Don't know that Abacus, Oh, you certainly do: http://en.wikipedia.org/wiki/Abacus > will search the web about it. I though “seems > there is no elementary component, looks likes everything is a big complex > system which cannot be broken down to be understood”. "Understood in terms of Boolean logic," you mean. That's the point, a really new paradigm cannot be understood in terms of the old one. That is why it is new. In particular the probability cannot described in crisp terms. So any attempt to "understand" it that way, e.g. the theory of hidden parameter, is doomed. > But there will still be troubles about what to do with all of these > nowadays computer (even sadly famous Africa's bin will not be big enough). What happened with the horses when cars came? Who cares? >> Language is not a physical system. You can change anything you wanted, you >> just have to wish it. > Life is not a physical system neither, its only based on a physical > system. So I maintain ability of life to face an environment and ability > of a language paradigm to face an environment, are comparable. If you are > interested in the topic, you should know what life is, could be expressed > in some other abstract ways, getting ride of carbon and water. The > physical system is just the starting point, this does characterize the > system, which is abstract. So? It seems that your argument would be that given the knowledge of the human DNA code, one couldn't produce a human being 100 million years ago by means of genetic engineering? Rubbish. >>> Could you tell more about “keeping it backward compatible is only possible >>> by a big structural change” ? >> >> Per generalization: you express obsolete features in terms of new ones. > That would mean to keep the syntax and the same meaning assigned to > existing syntactic construct and redefine the core concepts of the > language only ? Yes. There is nothing wrong with the most of Ada. Even if some parts are wrong, like limited results/aggregates are. That is no problem. In the new language limitness will be redesigned anyway. You will rather have independent type properties "by-reference," "no-copy-constructor," "no-assignment." Ada's "limited" will be expressed in those terms. Aggregates will become syntax sugar for user-defined constructors. Obsolescent "limited" types will have them predefined. etc. Not a big deal. > I feel this may be feasible with greater separation of both. There is no clear margin. Just move the stuff to the ARM's section J. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de