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.4 required=5.0 tests=BAYES_00,FORGED_MUA_MOZILLA autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: a07f3367d7,589fabad165a40d9 X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII Received: by 10.66.82.37 with SMTP id f5mr2229631pay.17.1348429846026; Sun, 23 Sep 2012 12:50:46 -0700 (PDT) Path: t10ni17085432pbh.0!nntp.google.com!border1.nntp.dca.giganews.com!border4.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!newspeer1.nac.net!news.mi.ras.ru!goblin3!goblin.stu.neva.ru!news.ripco.com!news.glorb.com!dotsrc.org!filter.dotsrc.org!news.dotsrc.org!not-for-mail Date: Thu, 20 Sep 2012 22:40:57 +0200 From: =?ISO-8859-1?Q?Thomas_L=F8cke?= User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:15.0) Gecko/20120909 Thunderbird/15.0.1 MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Tasking and timing out References: <505ad112$0$295$14726298@news.sunsite.dk> <505ae3a6$0$289$14726298@news.sunsite.dk> <1drka4ljbi2m6$.18hcn0srcmy4v$.dlg@40tude.net> In-Reply-To: <1drka4ljbi2m6$.18hcn0srcmy4v$.dlg@40tude.net> Message-ID: <505b7f58$0$281$14726298@news.sunsite.dk> Organization: SunSITE.dk - Supporting Open source NNTP-Posting-Host: 77.234.175.34 X-Trace: news.sunsite.dk DXC=nJGh2gKEUY9OVgHIS4l:13YSB=nbEKnk;cc:lZ@]ReC43ZOKe3?:>X1cAE?;m5ccY3XohdXkZjmR6imA0>JTlSQ7 X-Complaints-To: staff@sunsite.dk Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit Date: 2012-09-20T22:40:57+02:00 List-Id: On 09/20/2012 12:21 PM, Dmitry A. Kazakov wrote: > #1 + #2.1.1 above. E.g. some computations, even with controlled types > involved. Anything else requires *careful* analysis and thus is necessarily > very fragile. Ergo, for the software design POV, it is better to forget > about ATC, too problematic. I've taken your advice to heart Dmitry, and re-coded the routine without ATC, and it is much better for it. Thank you for your help and for explaining exactly why my solution was bad. :) -- Thomas L�cke | thomas@12boo.net | http://12boo.net