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,73cb216d191f0fef X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII X-Received: by 10.180.96.225 with SMTP id dv1mr173246wib.6.1364344987819; Tue, 26 Mar 2013 17:43:07 -0700 (PDT) Path: ex12ni5422wid.1!nntp.google.com!feeder1.cambriumusenet.nl!82.197.223.103.MISMATCH!feeder3.cambriumusenet.nl!feed.tweaknews.nl!85.12.40.130.MISMATCH!xlned.com!feeder1.xlned.com!border5.a.newsrouter.astraweb.com!border6.newsrouter.astraweb.com!news.astraweb.com!border5.newsrouter.astraweb.com!border4.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!newsgate.cuhk.edu.hk!goblin2!goblin.stu.neva.ru!aioe.org!.POSTED!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: Is this expected behavior or not Date: Sun, 24 Mar 2013 09:17:56 +0100 Organization: cbb software GmbH Message-ID: References: <514874d3$0$6628$9b4e6d93@newsspool2.arcor-online.net> <1o60gooo8xvba$.1ei9cebb07zek$.dlg@40tude.net> <514897bd$0$6641$9b4e6d93@newsspool2.arcor-online.net> <1oqwvcemo8dha$.hevuedtz8eze.dlg@40tude.net> <14aijp8ckzahf$.1ilfm1nw6qgyt$.dlg@40tude.net> <1xg9wka6slgit.1q0leacagdeuv.dlg@40tude.net> <10cliooad0uk.1prxobehp9yr0.dlg@40tude.net> <1upbnm5cl13bs$.pzszb0e3v9zo.dlg@40tude.net> Reply-To: mailbox@dmitry-kazakov.de NNTP-Posting-Host: XRUMb5xlbonTNodERpEXEw.user.speranza.aioe.org Mime-Version: 1.0 X-Complaints-To: abuse@aioe.org User-Agent: 40tude_Dialog/2.0.15.1 X-Notice: Filtered by postfilter v. 0.8.2 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 8bit Date: 2013-03-24T09:17:56+01:00 List-Id: On Sat, 23 Mar 2013 22:53:15 +0100, J-P. Rosen wrote: > Le 23/03/2013 11:19, Dmitry A. Kazakov a �crit : >> Of course it is the same assignment, according to you. Why the effect is >> different? > Because it operates on different variables. How are they different? They have same name and same type (according to you) etc. Moreover, you want to tell that the behavior of an operation would depend on a variable? Do I read it right? Not on the type or value it has. This is how you want to deal with simple scalar types? > Any subprogram that contains > an "if" behaves differently depending on the parameters. There is no if's in the program. The program applies an operation to a variable. Nothing more. >>> Once again: a subtype is just an extra check added in some contexts to >>> some objects. It does not define a new set of values, i.e. the "1" for >>> Positive is the same as the "1" for Integer (while it is different from >>> the "1" of some user defined type). >> >> And 0xFF is same for signed and unsigned char. This is why C is called >> weakly typed. It is no matter how do you call what is going on. Only the >> effect matters. The effect is that the behavior changes. > In C yes, there is only one integer type. Not in Ada. Only one type for Integer and Positive, just as you said. > What's your point? Your interpretation of Ada subtypes is untyped. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de