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,640b65cbfbab7216 X-Google-Attributes: gid103376,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news1.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!t-online.de!newsfeed.freenet.de!newsfeed01.chello.at!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail From: "Dmitry A. Kazakov" Subject: Re: Untyped Ada? 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: <47F26C46.3010607@obry.net> <44d88b93-6a90-4c18-8785-2164934ba700@a9g2000prl.googlegroups.com> <1207335158.23925.68.camel@K72> Date: Sat, 5 Apr 2008 10:07:42 +0200 Message-ID: <1qsp0cuphpts9.t5v55chnuyvh$.dlg@40tude.net> NNTP-Posting-Date: 05 Apr 2008 10:07:42 CEST NNTP-Posting-Host: 61b8d8a8.newsspool4.arcor-online.net X-Trace: DXC=VKoV`A73H<^E47KDAk81NW4IUKRkjjL=LBU1mW[6LHn;2LCV^[Mg5neUBZ X-Complaints-To: usenet-abuse@arcor.de Xref: g2news1.google.com comp.lang.ada:20832 Date: 2008-04-05T10:07:42+02:00 List-Id: On Fri, 04 Apr 2008 20:52:38 +0200, Georg Bauhaus wrote: > On Fri, 2008-04-04 at 19:38 +0200, Dmitry A. Kazakov wrote: > > [...] > The dominant question is rather whether or not the software works profitably. Yes, but that is not a technical problem. > The theory of trust as a function value is not yet fully > established, let alone established with precision. How could > it? You need a model of uncertainty for that, plus a notion of process in order to capture temporal aspect. And an elaborated types system of Ada shines here. Observe that otherwise, the whole argument could be reduced to the following: Our model is wrong. Numbers have no defined meaning. What to do? Be cool, we will still use them with an additional advantage not to care about accuracy of +,-,*,/ because the input data is rubbish anyway... > Scientific, even computable, rationalization of the > trading business? Would you want to pay for being replaced > with a computer program? So the financial market has a > more extensive set of rules about number handling than machine > control I suppose. It is an interesting issue. One of the reasons of collapse of so-called "planned economy" was an inability to balance it, just technically, computers were too slow that time. If somebody tried it now (without an ideological agenda, of course), could it be possible? >> What do you mean? In fact Ada's fixed strings handling is the best I know. >> You should never need Unbounded_String except for rare cases, when you >> wanted to return two strings out of one function. > > Replacements of varying length are ssllllloooooooowww. I don't remember single case where I used such replacement. For that matter "&" has exactly same complexity. I think that the problem is how people think about strings processing. There is a whole culture of "tokenizing" style, which is just a wrong paradigm. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de