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!news1.google.com!npeer02.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!post02.iad.highwinds-media.com!PRIMUS.CA-a2RwWykeOfp5w!not-for-mail
From: Hendrik Boom <hendrik@topoi.pooq.com>
Subject: Re: Alternatives to C: ObjectPascal, Eiffel, Ada or Modula-3?
Newsgroups: 
 comp.lang.eiffel,comp.lang.ada,comp.lang.modula3,comp.lang.pascal,comp.programming
References: <h3sln0$rhm$2@news.eternal-september.org>
 	<87zlb2c94a.fsf@galatea.local> <h41g0b$bk1$1@news.eternal-september.org>
User-Agent: Pan/0.132 (Waxed in Black)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Message-ID: <ecd4e$4a78961c$d88ac3c2$11370@PRIMUS.CA>
X-Complaints-To: abuse@usenetserver.com
Organization: UseNetServer.com
Date: Tue, 04 Aug 2009 20:12:12 +0000
X-Trace: ecd4e4a78961c7d2f666711370
Xref: g2news2.google.com comp.lang.eiffel:445 comp.lang.ada:7580
 comp.lang.modula3:125 comp.programming:12421
Date: 2009-08-04T20:12:12+00:00
List-Id: <comp.lang.ada>

On Mon, 20 Jul 2009 10:13:31 +0000, Nicholas Paul Collin Gloucester wrote:

> 
> Unfortunately, Wirthian languages tend to use structural equivalence of
> types instead of occurrence equivalence, such as Modula-3 according to
> HTTP://web.archive.org/web/20051001044031/http://archive.dstc.edu.au/AU/
staff/crawley/ada/m3-vs-ada.html#section4.1

Modula 3 uses structural equivalence unless you specify otherwise.  You 
specify otherwise by using a BRANDED type.  That's actually a very 
effective compromise.

-- hendrik