From: robin.vowels@gmail.com
Subject: Re: getting same output as gfortran, long_float
Date: Mon, 4 May 2015 06:45:19 -0700 (PDT)
Date: 2015-05-04T06:45:19-07:00 [thread overview]
Message-ID: <0b2fd749-145d-46fd-9f4c-75812c1afd05@googlegroups.com> (raw)
In-Reply-To: <12de08w8nsrts.qn1blaxh6pe1.dlg@40tude.net>
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. You're talking nonsense.
> 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.
> >> A program that does not compile on a platform of interest is just an
> >> illegal program. It is neither portable or non-portable. We don't know yet.
> >
> > But in this case, we know that the program is not portable,
> > because it violates the standard.
>
> A program that violates the standard can still be portable and conversely.
You're talking rubbish.
next prev parent reply other threads:[~2015-05-04 13:45 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 [this message]
2015-05-04 14:47 ` Dmitry A. Kazakov
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