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!news3.google.com!proxad.net!feeder1-2.proxad.net!usenet-fr.net!de-l.enfer-du-nord.net!news.visyn.net!open-news-network.org!visyn.net!not-for-mail
From: "Mark T.B. Carroll" <Mark.Carroll@Aetion.com>
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 09:21:33 -0400
Organization: Aetion Technologies LLC, Ohio, USA
Message-ID: <86y6qjwkv6.fsf@ixod.org>
References: <h3sln0$rhm$2@news.eternal-september.org>
 <h41n4c$pm0$1@news.eternal-september.org> <86ab2zy0g0.fsf@ixod.org>
 <h41qs2$g9s$1@news.eternal-september.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: hoshi.visyn.net C7lAPDWo9S1GOYHeLL6ZYmoVCWgb8CRStmE9CTREqUg=
X-Complaints-To: abuse@open-news-network.org
NNTP-Posting-Date: Mon, 20 Jul 2009 13:21:18 +0000 (UTC)
X-User-ID: AI+twuCC6sGdpdqS8Vs4SZ1Bp7KexaQ8Gr27s3anwRA=
Cancel-Lock: sha1:QRQVSI1DQgVmvkexmNz5OMky6fY=
User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.2 (gnu/linux)
Xref: g2news2.google.com comp.lang.eiffel:327 comp.lang.ada:7173
 comp.lang.modula3:53 comp.programming:11888
Date: 2009-07-20T09:21:33-04:00
List-Id: <comp.lang.ada>

Nicholas Paul Collin Gloucester <Colin_Paul_Gloster@ACM.org> writes:

> 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?

I think that's true. However, that is not equivalent to Modula-3 being
"restricted to structural equivalence of types only", which is why I
corrected you. (Note that you can have reference types of even integers
or whatever, it's not just objects.)

> 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?

I don't know Eiffel at all and barely remember Ada, so probably not I'm
afraid.

Mark