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,1c8c283347cf0236 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news3.google.com!feeder3.cambriumusenet.nl!feeder2.cambriumusenet.nl!feed.tweaknews.nl!87.79.20.105.MISMATCH!news.netcologne.de!ramfeed1.netcologne.de!newsfeed.arcor.de!newsspool3.arcor-online.net!news.arcor.de.POSTED!not-for-mail From: "Dmitry A. Kazakov" Subject: Re: If not Ada, what else... Newsgroups: comp.lang.ada User-Agent: 40tude_Dialog/2.0.15.1 MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Reply-To: mailbox@dmitry-kazakov.de Organization: cbb software GmbH References: <8ee03ab1-6745-4aa4-82ee-be1eccc9afc9@p3g2000vbv.googlegroups.com> <1skb3ptw4o48r$.1osym4kcfvtk9.dlg@40tude.net> <4db2e292$0$6765$9b4e6d93@newsspool3.arcor-online.net> Date: Sat, 23 Apr 2011 17:04:33 +0200 Message-ID: NNTP-Posting-Date: 23 Apr 2011 17:04:34 CEST NNTP-Posting-Host: a43e9508.newsspool2.arcor-online.net X-Trace: DXC=_4PkW>iD0TWYI9]OHn9o5^A9EHlD;3YcR4Fo<]lROoRQ8kF On Sat, 23 Apr 2011 16:30:42 +0200, Georg Bauhaus wrote: > On 4/23/11 2:23 PM, Dmitry A. Kazakov wrote: >> On Sat, 23 Apr 2011 04:50:43 -0700 (PDT), Piotr Trojanek wrote: >> >>> The question is what is your focus in a robotics research? If it is a RT control, >>> than I see no point in not using Ada. If you are interested in AI, then Lisp is >>> probably the way to go. >> >> I always did AI in Ada and see no point in using Lisp for that. There is a >> common opinion that Lisp and Prolog are good for AI, which is as ungrounded >> as the opinion that C is good for drivers. I think that Ada is especially >> good for AI because AI is quite nasty when it comes to testing. Often you >> cannot figure out whether the problem is due to a bug or a logical error. >> Ada sufficiently reduces the bug rate. That helps much. > > Would the work have been just a little easier if there > was a plugable standard garbage collector? No, because I doubt that a standard collector would work with the heuristics I used, e.g. for factorization of decision trees, pruning, cloning upon modification etc. GC does not help in establishing various "uses", "depends" relationships, like strong, weak, read-only, weakly-ordered references etc. Which is the whole work. These relationships cannot be derived from the program, they must be programmed. Since you have to do this anyway, collection becomes a negligible problem. I don't remember if I even had a memory leak. I am very suspicious about usefulness of standard GC in general. I think that Ada represents a good example of why GC is not needed. If Ada supported unconstrained components in a less boring form, I bet that the issue of GC support could be closed. I also think that semantically the idea of magically working GC contradicts to higher level abstractions. It can work only in some strata, not too high, not too low. Hence GC is bad for design. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de