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!feeder.erje.net!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.lang.pascal,comp.programming
Subject: Re: Alternatives to C: ObjectPascal, Eiffel, Ada or Modula-3?
Date: Mon, 20 Jul 2009 13:18:58 +0000 (UTC)
Organization: A noiseless patient Spider
Message-ID: <h41qs2$g9s$1@news.eternal-september.org>
References: <h3sln0$rhm$2@news.eternal-september.org>
 <h41n4c$pm0$1@news.eternal-september.org> <86ab2zy0g0.fsf@ixod.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Trace: news.eternal-september.org
 U2FsdGVkX1/o6R72VhgLCfb11eK0XUXCrDnCQpCExsukTBe20VaFnPgc6kfV6UP7RYzTRkYKjtVDmG3jPyHP9kougUp2pQu3I3Kh7/o2pu7mgF6VeazuuMqoxf1BB2d3o1o76/dJtF8bK1zmDxRDLugPPy77glOKTdc3CRd6n/o=
X-Complaints-To: abuse@eternal-september.org
NNTP-Posting-Date: Mon, 20 Jul 2009 13:18:58 +0000 (UTC)
X-Auth-Sender: 
 U2FsdGVkX18o8t3we7t+v5VauBsXARzYOVHKbrg8NTnFmyPV0KIjNf9MRUH6bBzWHQdw8w1Hgx4=
Cancel-Lock: sha1:tgZOLK0luxhIqlZXAz3Lj4wxCTc=
User-Agent: slrn/0.9.9p1 (Linux)
Xref: g2news2.google.com comp.lang.eiffel:326 comp.lang.ada:7172
 comp.lang.modula3:52 comp.programming:11887
Date: 2009-07-20T13:18:58+00:00
List-Id: <comp.lang.ada>

On 2009-07-20, Mark T.B. Carroll <Mark.Carroll@Aetion.com> wrote:

|------------------------------------------------------------------------|
|"Nicholas Paul Collin Gloucester <Colin_Paul_Gloster@ACM.org> writes:   |
|                                                                        |
|> I agree that static typing is important, but Modula-3; Eiffel; and    |
|> many versions of Pascal perhaps including FreePascal are restricted to|
|> structural equivalence of types only. This is not sufficient strong   |
|> typing.                                                               |
|                                                                        |
|Modula-3's BRANDED keyword overrides the structural equivalence."       |
|------------------------------------------------------------------------|

Thank you for the response.

The author of
HTTP://web.archive.org/web/20051001044031/http://archive.dstc.edu.au/AU/staff/crawley/ada/m3-vs-ada.html#section4.1
warned that he did not know Modula-3 well, so was his claim
"Branding only applies to reference types"
untrue?

Could you show us a Modula-3 version of the code in
news:h41n4c$pm0$1@news.eternal-september.org
which is better than Eiffel and at least as good as Ada?

Thanks again,
N. P. C.