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,2ff5c149712ec0eb X-Google-Attributes: gid103376,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news4.google.com!news.germany.com!news.belwue.de!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail From: "Dmitry A. Kazakov" Subject: Re: Ada Interfaces and the Liskov Substitution Principle 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: <1179953657.839272.160320@a26g2000pre.googlegroups.com> <1179991769.376381.252010@m36g2000hse.googlegroups.com> <12h6mi42jcha0.7f9vfsnihjwr$.dlg@40tude.net> <1180003336.1163.29.camel@kartoffel> <83abvs7sa9.fsf@hod.lan.m-e-leypold.de> <465aa5ba$0$23147$9b4e6d93@newsspool1.arcor-online.net> <465b6606$0$10188$9b4e6d93@newsspool4.arcor-online.net> <1180445634.5664.23.camel@kartoffel> <39viqigjwhrb$.gz67xvpinyjr.dlg@40tude.net> <465c9077$0$23135$9b4e6d93@newsspool1.arcor-online.net> <1180531107.16197.30.camel@kartoffel> Date: Thu, 31 May 2007 12:27:24 +0200 Message-ID: NNTP-Posting-Date: 31 May 2007 12:25:06 CEST NNTP-Posting-Host: 2ee32c81.newsspool3.arcor-online.net X-Trace: DXC=KNS_BHf3TBSI?44J>Z[:RQMcF=Q^Z^V3X4Fo<]lROoRQFl8W>\BH3YR\@63>n8SU:TDNcfSJ;bb[UFCTGGVUmh?TLK[5LiR>kgRY36?61VYKB\ X-Complaints-To: usenet-abuse@arcor.de Xref: g2news1.google.com comp.lang.ada:15987 Date: 2007-05-31T12:25:06+02:00 List-Id: On Wed, 30 May 2007 15:18:27 +0200, Georg Bauhaus wrote: > I would start with a model that isn't originally inspired > by mathematics (because higher math typically frowns upon operations, > that is, the things that computers do). > My vague model has loop invariants, loop termination, > and the fact that the type Integer happens to include a successor > function in its interface. Now, the type Integer offers much > more than that, e.g. "*". Still, it seems reasonable to start from > the mathematical structure that maps to a type like Integer, > even when I do not need either of the inverse, > the neutral element, or commutativity, which Integer types have > (mostly), among other things. I don't see your point. You are saying that you don't need mathematics to program, yet you illustrate your point using mathematical vocabulary. There is something wrong with that. If programming should be based on, say, mobile phone throwing, then why are you talking about "neutral elements"? >> Thank you for making my point! What mathematics makes here is all the rest, >> which could well be incomputable. Consider k a hardware random generator. >> You could not describe it in any programming language, but you can in the >> language of probability theory. > > Thank you for making my point! :-) Probability theoretic constructs > can be mapped into executable computer constructs only in very limited > ways, No, the point is that they cannot be mapped (implemented), this is why mathematics is necessary to describe what is going on, because no machine would be sufficient for that. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de