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: a07f3367d7,a7135c0f450945a5 X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,UTF8 Path: g2news1.google.com!news2.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!newsfeed01.sul.t-online.de!t-online.de!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail From: "Dmitry A. Kazakov" Subject: Re: How to convert a string containing two hex digits to a character? 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: <93bb3b0f-1140-4fb7-8d7e-d97af3b57aaa@m16g2000yqc.googlegroups.com> <74e3d1de-b560-442d-8190-f3285ee31b0c@f5g2000yqh.googlegroups.com> <2m4g35mnk59z$.xhxh0f7riqad.dlg@40tude.net> Date: Sat, 9 Jan 2010 17:04:51 +0100 Message-ID: <1a68twjk8xoel.16vicep9cbrn2.dlg@40tude.net> NNTP-Posting-Date: 09 Jan 2010 17:04:49 CET NNTP-Posting-Host: 48f440e5.newsspool1.arcor-online.net X-Trace: DXC=_Uk?30RlnnI6PJ?[X6JIXEic==]BZ:afN4Fo<]lROoRA<`=YMgDjhgBmGkRO8M>ShK[6LHn;2LCVN[h?[\[L On Sat, 9 Jan 2010 06:50:17 -0800 (PST), Hibou57 (Yannick Duchêne) wrote: > On 9 jan, 12:33, "Dmitry A. Kazakov" > wrote: >> No. Addition is an operation (in an Abelian group) that may exist >> independently on the order relation. As an example consider the complex >> numbers, which is a field. As such it has addition and subtraction. >> Nevertheless it lacks order, and thus there is no Complex'Pred or >> Complex'Succ. And conversely, there can be an order, but no addition. >> Example: String. >> >> The guide line should be the semantics. If it is an iteration intended, >> then T'Succ is a clear favorite, just because x + 1 has nothing to do with >> enumeration. Unfortunately T'Succ is much too verbose, because it >> unnecessarily refers to the type. > Nice to read you > > Not “ No ”, while True as well. Right that it is not the only way to > define it. > > You may define the attraction as the opposite of the repulsion, or you > may define the repulsion as the opposite of the attraction. Huh, not in intuitionism. The law of excluded middle is not an axiom, even in physics. Take diffuse reflection instead of repulsion as *an* opposite to attraction. > In some > area, you may define Pred and Succ based on “ + ” and “ - ”, or in an > as good way, define + and - based on Pred and Succ. I would rather say Succ *consistent* with +, IFF both exist. > There are no Pred and Succ on reals, complexes and the likes, BTW, there is Float'Succ! I tempted to say due to a language design flaw, because it exposes the nature of Float as a model. There is a big difference between real and complex numbers. The former have the relation >. Real'Succ does not exist because the set {t|t>x} is open, therefore there is no Min{t|t>x}, only Inf{t|t>x} = x. Complex numbers do not even have >. > but > their “ + ” and “ - ” are not either the same too (homonym, but > different things), and that's because their “ + ” and “ - ” are not > the same that they do not have a Pred and Succ. There exists a subset of Complex isomorphic to Real. In mathematics that subset is indistinguishable from Real. In a typed system of Ada they are different not because of their properties, but nominally due to their attribution to different types. Moreover even type X is new Float is not Float in Ada. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de