Re: Certified C compilers for safety-critical embedded systems

From: Alex Colvin (alexc_at_std.com)
Date: 12/31/03


Date: Wed, 31 Dec 2003 16:52:19 +0000 (UTC)


>The empty parens are not allowed in Ada. Bob Eachus or someone else might
>be able to give some of the rationale. It's a case similar to the choice
>of () for array indexing rather than []. In Ada, a function result is
>considered conceptually similar to a constant, as are enumeration
>literals, and many of the same rules apply to them and their use. I
>suspect the syntax is intended to reinforce this.

I suspect that the use of () instead of [] has more to do with 7-bit
character sets for European languages. See
        http://archive.adaic.com/standards/83rat/html/ratl-02-01.html
and ISO 646. Same problem that gave us C trigraphs

-- 
	mac the naïf


Relevant Pages

  • Re: Certified C compilers for safety-critical embedded systems
    ... >be able to give some of the rationale. ... >considered conceptually similar to a constant, as are enumeration ... Same problem that gave us C trigraphs ... -- mac the naïf ...
    (comp.lang.ada)
  • Re: Why foo and bar in every tutorial i read?
    ... I haven't found "foo" though. ... I did my best to excise all instances of foo and bar in the original ... the Rationale left my hands by the time the trigraphs happened. ...
    (comp.lang.c)
  • Re: Need help w/BootX icon
    ... Maybe someone could give me a thumbnail ... version of the rationale for why it's a bad idea and then some clue as ... to who is or can be admin on a private single use computer. ... Mac and geek T-shirts & gifts ...
    (comp.sys.mac.comm)
  • Re: GUID on Linux
    ... but note that any implementation of a GUID generator ... >> requires that the servers be somehow enumerated (i.e. by MAC address). ... No global enumeration need be done. ... A true UUID can not be based on a random number or time, ...
    (comp.os.linux.development.apps)
  • Re: Why foo and bar in every tutorial i read?
    ... Kenny McCormack wrote: ... "bar" is used in the Rationale description of trigraphs, ...
    (comp.lang.c)