comp.lang.ada
 help / color / mirror / Atom feed
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: getting same output as gfortran, long_float
Date: Mon, 4 May 2015 16:47:21 +0200
Date: 2015-05-04T16:47:21+02:00	[thread overview]
Message-ID: <1pt8prok2jax6.distrri6z4l9.dlg@40tude.net> (raw)
In-Reply-To: 0b2fd749-145d-46fd-9f4c-75812c1afd05@googlegroups.com

On Mon, 4 May 2015 06:45:19 -0700 (PDT), robin.vowels@gmail.com wrote:

> On Monday, May 4, 2015 at 8:18:37 PM UTC+10, Dmitry A. Kazakov wrote:
>> On Mon, 4 May 2015 01:53:08 -0700 (PDT), r.nospam@gmail.com wrote:
>> 
>>> On Monday, May 4, 2015 at 5:21:28 PM UTC+10, Dmitry A. Kazakov wrote:
>>>> On Sun, 3 May 2015 17:15:15 -0700 (PDT), r.nospam@gmail.com wrote:
>>>> 
>>>>> On Friday, May 1, 2015 at 5:45:23 PM UTC+10, Dmitry A. Kazakov wrote:
>>>> 
>>>>>> Actually REAL*16 is exactly portable.
>>>>> 
>>>>> No it's not.
>>>>> Some compilers treat that is an error.
>>>> 
>>>> Portability applies to compilable programs only. You could not compile
>>>> 
>>>>    type X is mod 2**64;
>>>> 
>>>> either. That does not make it non-portable, IMO.
>>>> 
>>>> Portable means: The program exposes same [logically relevant] behavior on
>>>> all platforms [of interest].
>>> 
>>> Portable means that a program that adheres to the language standard
>>> is capable of running on any system where there is a compiler for that language.
>> 
>> Consider a system without text output. According to you Ada's Hello World
>> program is non-portable because such systems exist.
> 
> I said no such thing. 

No which thing? Ada RTL without Ada.Text_IO?

>> It is a useless definition. For practically any program it would be easy to
>> present a platform for which it would not compile or work or would expose
>> some undesired behavior. Which is why it is *not* all behavior, but only
>> the relevant (contracted) one and not all platforms, but only the intended
>> ones. There is no such thing as absolute unconditional portability,
>> 
>>> There might be different limits for such things as maximum size of number on
>>> different machines, but nevertheless the program is capable of running on
>>> any particular system provided that it does not exceed such limits.
>> 
>> 64 bit is just such a limit.
> 
> So?  Did you read what I wrote?
> If a program is capable of running on a number of different systems
> it is ipso facto portable.

You said, I quote, "any system where there is a compiler for that
language." So is it "any" or "a number" of systems?

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de

  reply	other threads:[~2015-05-04 14:47 UTC|newest]

Thread overview: 35+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-04-30 21:17 getting same output as gfortran, long_float Nasser M. Abbasi
2015-04-30 22:08 ` Dmitry A. Kazakov
2015-04-30 22:11   ` Dmitry A. Kazakov
2015-04-30 22:37   ` Nasser M. Abbasi
2015-04-30 22:53     ` Nasser M. Abbasi
2015-05-01  7:22       ` Jacob Sparre Andersen
2015-05-01  1:12   ` Nasser M. Abbasi
2015-05-01  6:52     ` Dmitry A. Kazakov
2015-05-01  7:32       ` Nasser M. Abbasi
2015-05-01  7:45         ` Dmitry A. Kazakov
2015-05-04  0:15           ` robin.vowels
2015-05-04  7:21             ` Dmitry A. Kazakov
2015-05-04  8:53               ` robin.vowels
2015-05-04 10:18                 ` Dmitry A. Kazakov
2015-05-04 13:45                   ` robin.vowels
2015-05-04 14:47                     ` Dmitry A. Kazakov [this message]
2015-05-07  2:01                       ` robin.vowels
2015-05-01 23:24       ` Dennis Lee Bieber
2015-05-04  0:09       ` robin.vowels
2015-05-01  7:01     ` Dmitry A. Kazakov
2015-05-04  0:42     ` robin.vowels
2015-04-30 22:12 ` Jeffrey R. Carter
2015-04-30 22:27   ` Qun-Ying
2015-05-01  0:59     ` Dennis Lee Bieber
2015-04-30 22:32   ` Nasser M. Abbasi
2015-05-01  1:16     ` Jeffrey R. Carter
2015-05-01  1:40       ` Nasser M. Abbasi
2015-05-01  7:47         ` Jacob Sparre Andersen
2015-05-01 15:39         ` Waldek Hebisch
2015-05-01 17:27           ` Nasser M. Abbasi
2015-05-01 18:03             ` Nasser M. Abbasi
2015-05-04  0:51             ` robin.vowels
2015-05-04  0:47         ` robin.vowels
2015-05-01  8:21 ` Simon Wright
2015-05-01 11:55 ` Georg Bauhaus
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox