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=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 5b1e799cdb,3ef3e78eacf6f938
X-Google-Attributes: gid5b1e799cdb,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news4.google.com!proxad.net!feeder1-2.proxad.net!newsfeed.straub-nv.de!feeder.eternal-september.org!eternal-september.org!not-for-mail
From: Nicholas Paul Collin Gloucester <Colin_Paul_Gloster@ACM.org>
Newsgroups: comp.lang.eiffel,comp.lang.ada,comp.lang.modula3,comp.programming
Subject: Re: Alternatives to C: ObjectPascal, Eiffel, Ada or Modula-3?
Date: Mon, 20 Jul 2009 10:34:44 +0000 (UTC)
Organization: A noiseless patient Spider
Message-ID: <h41h84$bk1$2@news.eternal-september.org>
References: <h3sln0$rhm$2@news.eternal-september.org>
 <b846beee-774f-48d2-a0c3-00ccebc29b64@h18g2000yqj.googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Trace: news.eternal-september.org
 U2FsdGVkX18nMGJcGMisexmV6zj5ZIRswVgJ344p3Vf31mnsYdV+wtT9r7EBiBSOIIHB2q9WT1owBNx9a/UaXhkjv+DKYpDxvMmXxXUc/oZiiCD9dkOC23yfhTq2atmgZ15aG6PSmpg1tT+7E7+xR9ugYmJ/EQ09ULTTFYZdELg=
X-Complaints-To: abuse@eternal-september.org
NNTP-Posting-Date: Mon, 20 Jul 2009 10:34:44 +0000 (UTC)
X-Auth-Sender: 
 U2FsdGVkX1+w+LNjhQfKaz+knOLeEc3mlZnztN6TGXyOkjKuKq5MoSOQEI3TYgwkpsc0a4DRw1Y=
Cancel-Lock: sha1:aHvMOhcEbJEsOace+R+DbSS9Qa8=
User-Agent: slrn/0.9.9p1 (Linux)
Xref: g2news2.google.com comp.lang.eiffel:322 comp.lang.ada:7168
 comp.lang.modula3:48 comp.programming:11879
Date: 2009-07-20T10:34:44+00:00
List-Id: <comp.lang.ada>

Ludovic Brenta posted:
|--------------------------------------------------------------------------|
|"[..]                                                                     |
|                                                                          |
|Finally, since strong static typing is one of your criteria, Ada has      |
|the strongest and most powerful typing system I've ever seen in any       |
|language, and it also has "escape hatches" to allow you to circumvent     |
|it in extreme situations like interfacing directly to hardware.  This     |
|typing system comes complete with compile-time and run-time checks        |
|[..]                                                                      |
|                                                                          |
|[..]"                                                                     |
|--------------------------------------------------------------------------|

It is not necessary to circumvent the type system when interfacing to
hardware. An Ada fixed type (which unlike a FORTRAN fixed type does
not necessarily need to be an integer) can be used with a
representation clause for strongly typed memory-mapped I/O.

With kind regards,
Nicholas Paul Collin Gloucester