Re: Let's talk about UFOs then

From	Steve Thompson <stevet810@gmail.com>
Newsgroups	comp.lang.c
Subject	Re: Let's talk about UFOs then
Date	2015-03-07 18:22 +0000
Organization	Friends of the Galactic Collective
Message-ID	<PD6Iip.1Md.xcnMB@gmail.com> (permalink)
References	(5 earlier) <md6iqs$ksb$1@dont-email.me> <u7yIh7.ih6.oeixY@gmail.com> <87twxzpk1a.fsf@bsb.me.uk> <HbpYyU.nFY.P2oPW@gmail.com> <ra7ifatc9is7a1h8a3koqruhiki5lfa6ul@4ax.com>

Show all headers | View raw

On Thu, Mar 05, 2015 at 09:27:16PM -0600, Robert Wessel wrote:
> On Thu, 05 Mar 2015 17:59:43 +0000, Steve Thompson
> <stevet810@gmail.com> wrote:
> >
> >This is a little like speculating on the development of energy
> >technology.  Without contemporary politics and capitalism, would we
> >have had a better chance of developing renewable energy resources such
> >as solar or nuclear in preference to petroleum?  Clearly the fact that
> >oil is easy to extract from the ground is a major factor in its rise
> >to prominence as a dominant energy resource.
> 
> 
> Ease of extraction is one factor, but don't forget just how good
> short/medium chain hydrocarbons are as an energy storage/transport
> mechanism.  They're energy dense in both mass and volume, easy to
> handle, fairly non-toxic, and other than that pesky greenhouse gas,
> reacting them results in fairly harmless byproducts (CO2 and water
> vapor).  If we didn't have a hydrocarbon based economy, we'd probably
> invent them to just serve the transportation sector.

Good point, but tangential to the thrust of my argument.

In relation to C, my query was a little more prosaic.

For instance, C is defined in such a way that the size of basic types
is left implementation dependent.  In a parallel reality the
standardization process might have specified exact type sizes for
basic types.  We can enumerate a list of C characteristics and
identify various places where compromises were made, perhaps mainly
because of existing practice, such as in this example.

So if our hypothetical aliens were developing a C language, what could
we suggest about its characteristics?  (Whether or not our aliens
would have a stored program computer anything like what we use today
is a different and vexing question.)

For my part this question is interesting in the abstract since I
disagree with certain aspects of C, much as I enjoy using it.  So in
my own code I define my own integer types such that I always know
their range when I use them.  You will be unsurprised to learn their
names:  s8, u8, s16, u16, s32, u32, s64, and u64.  I have an
architecture-dependent header file which defines these types for the
target machine.  (I understand that many implementations define
int32_t and such, but it seems to be something of an afterthought and
not so much a part of the early language specification.)

Obviously this is hugely advantageous for real-world code since I know
where I am at risk of overflow/underflow conditions.  Standard C types
make it difficult to have certainty on this matter, and porting code
which uses normal 'int' types requires a detailed review to avoid the
many problems associated with varying type sizes.

I have no idea why this practice is not standardized, but there you
are.  I like to think that aliens would recognize the importance of
establishing the range of variables in their code and the importance
of avoiding breakage when code is used on different architectures.

Regards,

Steve Thompson

-- 
GOTO's are like guns.  Safety is entirely contingent on the user.

Thread

Let's talk about UFOs then jacob navia <jacob@spamsink.net> - 2015-02-24 23:56 +0100
  Let's talk about UFOs then asetofsymbols@gmail.com - 2015-02-25 00:10 -0800
  Let's talk about UFOs then asetofsymbols@gmail.com - 2015-02-25 00:12 -0800
    Re: Let's talk about UFOs then Richard Heathfield <rjh@cpax.org.uk> - 2015-02-25 09:00 +0000
  Re: Let's talk about UFOs then fir <profesor.fir@gmail.com> - 2015-02-25 02:06 -0800
  Re: Let's talk about UFOs then Greg Martin <greg.at.softsprocket@dot.com> - 2015-02-25 15:47 +0000
    Re: Let's talk about UFOs then jacob navia <jacob@spamsink.net> - 2015-02-25 17:51 +0100
      Re: Let's talk about UFOs then Greg Martin <greg.at.softsprocket@dot.com> - 2015-02-25 17:03 +0000
        Re: Let's talk about UFOs then jacob navia <jacob@spamsink.net> - 2015-02-25 18:22 +0100
          Re: Let's talk about UFOs then Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-02-25 10:03 -0800
            Re: Let's talk about UFOs then Keith Thompson <kst-u@mib.org> - 2015-02-25 10:48 -0800
              Re: Let's talk about UFOs then jacob navia <jacob@spamsink.net> - 2015-02-25 21:33 +0100
                Re: Let's talk about UFOs then fir <profesor.fir@gmail.com> - 2015-02-25 13:25 -0800
                Re: Let's talk about UFOs then fir <profesor.fir@gmail.com> - 2015-02-25 13:52 -0800
      Re: Let's talk about UFOs then Clark Smith <noaddress@nowhere.net> - 2015-02-25 17:49 +0000
      Re: Let's talk about UFOs then David Brown <david.brown@hesbynett.no> - 2015-02-26 14:13 +0100
    Re: Let's talk about UFOs then jacob navia <jacob@spamsink.net> - 2015-02-25 17:53 +0100
    Re: Let's talk about UFOs then jacob navia <jacob@spamsink.net> - 2015-02-25 17:58 +0100
  Let's talk about UFOs then Chad <cdalten@gmail.com> - 2015-02-25 13:52 -0800
    Re: Let's talk about UFOs then Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-02-25 14:26 -0800
      Re: Let's talk about UFOs then Joe Pfeiffer <pfeiffer@cs.nmsu.edu> - 2015-02-25 21:10 -0700
    Re: Let's talk about UFOs then Richard Heathfield <rjh@cpax.org.uk> - 2015-02-25 22:35 +0000
      Re: Let's talk about UFOs then fmassei@gmail.com - 2015-02-25 14:46 -0800
        Re: Let's talk about UFOs then Geoff <geoff@invalid.invalid> - 2015-02-25 17:59 -0800
    Re: Let's talk about UFOs then Geoff <geoff@invalid.invalid> - 2015-02-25 17:53 -0800
      Re: Let's talk about UFOs then luser droog <luser.droog@gmail.com> - 2015-02-26 00:53 -0800
        Re: Let's talk about UFOs then Geoff <geoff@invalid.invalid> - 2015-02-26 10:38 -0800
      Re: Let's talk about UFOs then Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-02-26 04:47 -0800
        Re: Let's talk about UFOs then Richard Heathfield <rjh@cpax.org.uk> - 2015-02-26 12:51 +0000
      Re: Let's talk about UFOs then jacob navia <jacob@spamsink.net> - 2015-02-26 16:41 +0100
        Re: Let's talk about UFOs then raltbos@xs4all.nl (Richard Bos) - 2015-02-26 16:46 +0000
        Re: Let's talk about UFOs then Geoff <geoff@invalid.invalid> - 2015-02-26 10:16 -0800
    Let's talk about UFOs then asetofsymbols@gmail.com - 2015-02-25 21:54 -0800
      Let's talk about UFOs then mt <mahdert@gmail.com> - 2015-02-26 00:09 -0800
      Let's talk about UFOs then asetofsymbols@gmail.com - 2015-02-26 05:56 -0800
  Re: Let's talk about UFOs then David Brown <david.brown@hesbynett.no> - 2015-02-26 13:53 +0100
    Re: Let's talk about UFOs then jacob navia <jacob@spamsink.net> - 2015-02-26 16:39 +0100
      Re: Let's talk about UFOs then Robert Wessel <robertwessel2@yahoo.com> - 2015-02-26 14:00 -0600
        Re: Let's talk about UFOs then jacob navia <jacob@spamsink.net> - 2015-02-26 21:30 +0100
          Re: Let's talk about UFOs then David Brown <david.brown@hesbynett.no> - 2015-02-26 22:41 +0100
            Re: Let's talk about UFOs then jacob navia <jacob@spamsink.net> - 2015-02-26 22:56 +0100
              Re: Let's talk about UFOs then David Brown <david.brown@hesbynett.no> - 2015-02-27 10:16 +0100
                Re: Let's talk about UFOs then Keith Thompson <kst-u@mib.org> - 2015-02-27 08:25 -0800
                Re: Let's talk about UFOs then fir <profesor.fir@gmail.com> - 2015-02-27 10:14 -0800
                Re: Let's talk about UFOs then David Brown <david.brown@hesbynett.no> - 2015-02-28 15:39 +0100
                Re: Let's talk about UFOs then Bartc <bc@freeuk.com> - 2015-03-01 15:51 +0000
                Re: Let's talk about UFOs then Geoff <geoff@invalid.invalid> - 2015-03-01 11:12 -0800
                Re: Let's talk about UFOs then raltbos@xs4all.nl (Richard Bos) - 2015-03-02 09:04 +0000
                Re: Let's talk about UFOs then Tim Rentsch <txr@alumni.caltech.edu> - 2015-03-24 13:04 -0700
                Re: Let's talk about UFOs then David Brown <david.brown@hesbynett.no> - 2015-03-25 09:22 +0100
                Re: Let's talk about UFOs then Ian Collins <ian-news@hotmail.com> - 2015-03-25 21:27 +1300
                Re: Let's talk about UFOs then asetofsymbols@gmail.com - 2015-03-25 02:16 -0700
                Re: Let's talk about UFOs then asetofsymbols@gmail.com - 2015-03-25 10:22 -0700
                Re: Let's talk about UFOs then Tim Rentsch <txr@alumni.caltech.edu> - 2015-03-25 10:23 -0700
                Re: [OT] Let's talk about UFOs then David Brown <david.brown@hesbynett.no> - 2015-03-25 21:29 +0100
                Re: [OT] Let's talk about UFOs then Tim Rentsch <txr@alumni.caltech.edu> - 2015-03-25 16:27 -0700
            Re: Let's talk about UFOs then Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-02-26 14:01 -0800
              Re: Let's talk about UFOs then Robert Wessel <robertwessel2@yahoo.com> - 2015-02-26 23:17 -0600
                Re: Let's talk about UFOs then jt@toerring.de (Jens Thoms Toerring) - 2015-02-27 12:15 +0000
              Re: Let's talk about UFOs then David Brown <david.brown@hesbynett.no> - 2015-02-27 10:29 +0100
            Re: Let's talk about UFOs then Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-02-26 14:10 -0800
              Re: Let's talk about UFOs then David Brown <david.brown@hesbynett.no> - 2015-02-27 10:45 +0100
      Re: Let's talk about UFOs then David Brown <david.brown@hesbynett.no> - 2015-02-26 22:12 +0100
        Re: Let's talk about UFOs then jacob navia <jacob@spamsink.net> - 2015-02-26 22:43 +0100
          Re: Let's talk about UFOs then jacob navia <jacob@spamsink.net> - 2015-02-26 23:09 +0100
          Re: Let's talk about UFOs then Richard Heathfield <rjh@cpax.org.uk> - 2015-02-26 22:10 +0000
            Re: Let's talk about UFOs then fmassei@gmail.com - 2015-02-26 14:19 -0800
          Re: Let's talk about UFOs then fir <profesor.fir@gmail.com> - 2015-02-27 00:57 -0800
          Re: Let's talk about UFOs then David Brown <david.brown@hesbynett.no> - 2015-02-27 11:09 +0100
            Re: Let's talk about UFOs then Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-02-27 09:10 -0800
              Re: Let's talk about UFOs then jacob navia <jacob@spamsink.net> - 2015-02-27 21:38 +0100
                Re: Let's talk about UFOs then Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-02-27 13:55 -0800
              Re: Let's talk about UFOs then David Brown <david.brown@hesbynett.no> - 2015-02-28 16:20 +0100
                Re: Let's talk about UFOs then Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-02-28 08:09 -0800
                Re: Let's talk about UFOs then fmassei@gmail.com - 2015-02-28 09:21 -0800
                Re: Let's talk about UFOs then Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-02-28 09:28 -0800
                Re: Let's talk about UFOs then David Brown <david.brown@hesbynett.no> - 2015-03-01 12:49 +0100
                Re: Let's talk about UFOs then Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-03-01 05:59 -0800
                Re: Let's talk about UFOs then jacob navia <jacob@spamsink.net> - 2015-03-01 15:50 +0100
                Re: Let's talk about UFOs then Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-03-01 07:10 -0800
                Re: Let's talk about UFOs then David Brown <david.brown@hesbynett.no> - 2015-03-01 23:01 +0100
                Re: Let's talk about UFOs then Geoff <geoff@invalid.invalid> - 2015-03-01 11:28 -0800
                Re: Let's talk about UFOs then Richard Heathfield <rjh@cpax.org.uk> - 2015-03-01 19:39 +0000
                Re: Let's talk about UFOs then Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-03-01 12:36 -0800
                Re: Let's talk about UFOs then jacob navia <jacob@spamsink.net> - 2015-03-01 21:55 +0100
                Re: Let's talk about UFOs then Geoff <geoff@invalid.invalid> - 2015-03-01 13:39 -0800
                Re: Let's talk about UFOs then jacob navia <jacob@spamsink.net> - 2015-03-02 01:33 +0100
                Re: Let's talk about UFOs then Geoff <geoff@invalid.invalid> - 2015-03-01 16:53 -0800
                Re: Let's talk about UFOs then Greg Martin <greg.at.softsprocket@dot.com> - 2015-03-02 14:49 +0000
                Re: Let's talk about UFOs then Robert Wessel <robertwessel2@yahoo.com> - 2015-03-01 16:14 -0600
                Re: Let's talk about UFOs then David Brown <david.brown@hesbynett.no> - 2015-03-01 22:49 +0100
                Re: Let's talk about UFOs then Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-03-01 14:02 -0800
                Re: Let's talk about UFOs then Richard Heathfield <rjh@cpax.org.uk> - 2015-03-01 23:04 +0000
                Re: Let's talk about UFOs then David Brown <david.brown@hesbynett.no> - 2015-03-02 02:29 +0100
                Re: Let's talk about UFOs then Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-03-02 00:41 -0800
                Re: Let's talk about UFOs then Richard Heathfield <rjh@cpax.org.uk> - 2015-03-02 08:51 +0000
                Re: Let's talk about UFOs then Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-03-02 02:07 -0800
                Re: Let's talk about UFOs then raltbos@xs4all.nl (Richard Bos) - 2015-03-04 09:44 +0000
                Re: Let's talk about UFOs then Kaz Kylheku <kaz@kylheku.com> - 2015-03-01 14:26 +0000
                Re: Let's talk about UFOs then David Brown <david.brown@hesbynett.no> - 2015-03-01 23:08 +0100
                Re: Let's talk about UFOs then Stephen Sprunk <stephen@sprunk.org> - 2015-03-01 14:31 -0600
                Re: Let's talk about UFOs then Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-03-01 12:44 -0800
                Re: Let's talk about UFOs then Stephen Sprunk <stephen@sprunk.org> - 2015-03-03 08:24 -0600
                Re: Let's talk about UFOs then Richard Heathfield <rjh@cpax.org.uk> - 2015-03-03 15:11 +0000
                Re: Let's talk about UFOs then Greg Martin <greg.at.softsprocket@dot.com> - 2015-03-03 15:51 +0000
                Re: Let's talk about UFOs then Richard Heathfield <rjh@cpax.org.uk> - 2015-03-03 16:20 +0000
                Re: Let's talk about UFOs then David Brown <david.brown@hesbynett.no> - 2015-03-04 09:48 +0100
                Re: Let's talk about UFOs then Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-03-04 01:05 -0800
                Re: Let's talk about UFOs then David Brown <david.brown@hesbynett.no> - 2015-03-04 10:41 +0100
                Re: Let's talk about UFOs then fir <profesor.fir@gmail.com> - 2015-03-04 05:06 -0800
                Re: Let's talk about UFOs then Richard Heathfield <rjh@cpax.org.uk> - 2015-03-01 20:58 +0000
                Re: Let's talk about UFOs then Stephen Sprunk <stephen@sprunk.org> - 2015-03-03 08:59 -0600
                Re: Let's talk about UFOs then Richard Heathfield <rjh@cpax.org.uk> - 2015-03-03 15:52 +0000
                Re: Let's talk about UFOs then James Kuyper <jameskuyper@verizon.net> - 2015-03-03 12:11 -0500
                Re: Let's talk about UFOs then Stephen Sprunk <stephen@sprunk.org> - 2015-03-03 11:40 -0600
                Re: Let's talk about UFOs then James Kuyper <jameskuyper@verizon.net> - 2015-03-03 12:59 -0500
                Re: Let's talk about UFOs then Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-03-03 11:43 -0800
                Re: Let's talk about UFOs then David Brown <david.brown@hesbynett.no> - 2015-03-04 10:00 +0100
                Re: Let's talk about UFOs then Stephen Sprunk <stephen@sprunk.org> - 2015-03-04 12:57 -0600
                Re: Let's talk about UFOs then jacob navia <jacob@spamsink.net> - 2015-03-03 19:19 +0100
                Re: Let's talk about UFOs then Stephen Sprunk <stephen@sprunk.org> - 2015-03-03 12:55 -0600
                Re: Let's talk about UFOs then jacob navia <jacob@spamsink.net> - 2015-03-03 22:47 +0100
                Re: Let's talk about UFOs then Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-03-03 14:24 -0800
                Re: Let's talk about UFOs then David Brown <david.brown@hesbynett.no> - 2015-03-04 10:22 +0100
                Re: Let's talk about UFOs then Richard Heathfield <rjh@cpax.org.uk> - 2015-03-04 11:54 +0000
                Re: Let's talk about UFOs then Steve Thompson <stevet810@gmail.com> - 2015-03-05 03:14 +0000
                Re: Let's talk about UFOs then Stephen Sprunk <stephen@sprunk.org> - 2015-03-04 14:22 -0600
                Re: Let's talk about UFOs then Steve Thompson <stevet810@gmail.com> - 2015-03-05 02:57 +0000
                Re: Let's talk about UFOs then Ben Bacarisse <ben.usenet@bsb.me.uk> - 2015-03-05 14:59 +0000
                Re: Let's talk about UFOs then Aleksandar Kuktin <akuktin@gmail.com> - 2015-03-05 15:43 +0000
                Re: Let's talk about UFOs then Morris Dovey <mrdovey@iedu.com> - 2015-03-05 09:57 -0600
                Re: Let's talk about UFOs then Steve Thompson <stevet810@gmail.com> - 2015-03-05 17:59 +0000
                Re: Let's talk about UFOs then Ben Bacarisse <ben.usenet@bsb.me.uk> - 2015-03-05 19:17 +0000
                Re: Let's talk about UFOs then Steve Thompson <stevet810@gmail.com> - 2015-03-07 17:08 +0000
                Re: Let's talk about UFOs then Robert Wessel <robertwessel2@yahoo.com> - 2015-03-05 21:27 -0600
                Re: Let's talk about UFOs then Steve Thompson <stevet810@gmail.com> - 2015-03-07 18:22 +0000
                Re: Let's talk about UFOs then glen herrmannsfeldt <gah@ugcs.caltech.edu> - 2015-03-07 19:01 +0000
                Re: Let's talk about UFOs then Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-03-05 11:43 -0800
                Re: Let's talk about UFOs then Ben Bacarisse <ben.usenet@bsb.me.uk> - 2015-03-05 20:16 +0000
                Re: Let's talk about UFOs then David Brown <david.brown@hesbynett.no> - 2015-03-06 09:58 +0100
                Re: Let's talk about UFOs then Greg Martin <greg.at.softsprocket@dot.com> - 2015-03-05 15:59 +0000
                Re: Let's talk about UFOs then David Brown <david.brown@hesbynett.no> - 2015-03-01 23:17 +0100
                Re: Let's talk about UFOs then James Dow Allen <jdallen2000@yahoo.com> - 2015-03-01 19:17 -0800
                Re: Let's talk about UFOs then Richard Heathfield <rjh@cpax.org.uk> - 2015-03-02 08:30 +0000
                Re: Let's talk about UFOs then Stephen Sprunk <stephen@sprunk.org> - 2015-03-03 09:47 -0600
                Re: Let's talk about UFOs then Richard Heathfield <rjh@cpax.org.uk> - 2015-03-03 16:16 +0000
                Re: Let's talk about UFOs then David Brown <david.brown@hesbynett.no> - 2015-03-04 11:12 +0100
                Re: Let's talk about UFOs then Richard Heathfield <rjh@cpax.org.uk> - 2015-03-04 12:09 +0000
                Re: Let's talk about UFOs then Kaz Kylheku <kaz@kylheku.com> - 2015-03-04 12:16 +0000
                Re: Let's talk about UFOs then Richard Heathfield <rjh@cpax.org.uk> - 2015-03-04 12:40 +0000
                Re: Let's talk about UFOs then Steve Thompson <stevet810@gmail.com> - 2015-03-05 03:23 +0000
                Re: Let's talk about UFOs then David Brown <david.brown@hesbynett.no> - 2015-03-04 15:30 +0100
                Re: Let's talk about UFOs then Richard Heathfield <rjh@cpax.org.uk> - 2015-03-04 17:31 +0000
                Re: Let's talk about UFOs then Malcolm McLean <malcolm.mclean5@btinternet.com> - 2015-03-04 10:46 -0800
                Re: Let's talk about UFOs then Richard Heathfield <rjh@cpax.org.uk> - 2015-03-04 18:56 +0000
                Re: Let's talk about UFOs then Stephen Sprunk <stephen@sprunk.org> - 2015-03-16 18:25 -0500
          Re: Let's talk about UFOs then gamo <gamo@telecable.es> - 2015-03-02 12:22 +0100
            Re: Let's talk about UFOs then gamo <gamo@telecable.es> - 2015-03-02 14:12 +0100
              Re: Let's talk about UFOs then jacob navia <jacob@spamsink.net> - 2015-03-03 09:08 +0100
                Re: Let's talk about UFOs then gamo <gamo@telecable.es> - 2015-03-03 10:00 +0100
        Re: Let's talk about UFOs then Bartc <bc@freeuk.com> - 2015-02-26 22:07 +0000
        Re: Let's talk about UFOs then Geoff <geoff@invalid.invalid> - 2015-02-26 14:21 -0800
          Re: Let's talk about UFOs then David Brown <david.brown@hesbynett.no> - 2015-02-27 11:18 +0100

csiph-web