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
Path: 
 g2news2.google.com!news4.google.com!feeder.news-service.com!188.40.43.213.MISMATCH!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 14:49:18 +0000 (UTC)
Organization: A noiseless patient Spider
Message-ID: <h4205e$kmt$1@news.eternal-september.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> <86y6qjwkv6.fsf@ixod.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=ANSI_X3.4-1968
Content-Transfer-Encoding: 8bit
X-Trace: news.eternal-september.org
 U2FsdGVkX1/DUl9VND2r6TOdGTgnLqB6KOeklJiO+S1bX7bZ3UPx8TuCnrU06L+D/7lOj27bofCC7lkrG2HJpY/ktlk8ml7DJfee5OIfs6zC82oVRJ9oZtUPkmrzX7IFlqwIVrz+V7QtqY2XGmJHIhBfjfynKYuK93s1HilgrtY=
X-Complaints-To: abuse@eternal-september.org
NNTP-Posting-Date: Mon, 20 Jul 2009 14:49:18 +0000 (UTC)
X-Auth-Sender: 
 U2FsdGVkX18DSPyIPURJs05IZBZGYQWyFyiSBKybPGJSbVLXbikO7fdAyk52y9uiNh/NgRC1kWM=
Cancel-Lock: sha1:WacsQxnYJZkChMGDYAooLiBoXHo=
User-Agent: slrn/0.9.9p1 (Linux)
Xref: g2news2.google.com comp.lang.eiffel:330 comp.lang.ada:7177
 comp.lang.modula3:56 comp.programming:11892
Date: 2009-07-20T14:49:18+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:                                                |
|                                                                                                                     |
|> 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.)                                                                                 |
|                                                                                                                     |
|[..]"                                                                                                                |
|---------------------------------------------------------------------------------------------------------------------|

Touch�.