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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,dfdb3e9be36e818e
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.68.15.41 with SMTP id u9mr2962310pbc.3.1321951332190;
        Tue, 22 Nov 2011 00:42:12 -0800 (PST)
Path: 
 lh20ni4623pbb.0!nntp.google.com!news2.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!npeer02.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!nntp.club.cc.cmu.edu!feeder.erje.net!de-l.enfer-du-nord.net!feeder2.enfer-du-nord.net!gegeweb.org!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: type access Parent'Class
Date: Tue, 22 Nov 2011 09:42:12 +0100
Organization: cbb software GmbH
Message-ID: <7x8041w45wfm$.12ihj5s949bvb.dlg@40tude.net>
References: <7fd768a4-f97b-4045-8bab-49d2a3897a61@p2g2000vbj.googlegroups.com>
 <cf11dc37-33a6-4c62-bfd9-4165e6f83dd5@h30g2000pro.googlegroups.com>
 <558f254a-1ae9-4f22-9430-5f110ae595b1@f29g2000yqa.googlegroups.com>
Reply-To: mailbox@dmitry-kazakov.de
NNTP-Posting-Host: ARmOcGB+2dBIwZUEYVS5Gg.user.speranza.aioe.org
Mime-Version: 1.0
X-Complaints-To: abuse@aioe.org
User-Agent: 40tude_Dialog/2.0.15.1
X-Notice: Filtered by postfilter v. 0.8.2
Xref: news2.google.com comp.lang.ada:14508
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Date: 2011-11-22T09:42:12+01:00
List-Id: <comp.lang.ada>

On Mon, 21 Nov 2011 15:45:24 -0800 (PST), Gene wrote:

> However, there exist languages that are strongly typed that don't rely
> (at least entirely) on name equivalence. Rather they use some
> variation of structural equivalence. ML is in this category.

Now, if the type behavior is indeterminable from the type's structure, then
structured equivalence imply weak typing = the behavior varies with the
interpretation. Otherwise (the behavior is exhaustively determined by
type's structure) the type system is weak. I don't really know ML, so I can
only suggest that it falls into the first category.

P.S. Strong typing became a kind of fashion. In these days almost any
language claims to be strongly typed.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de