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
Path: 
 border1.nntp.dca3.giganews.com!border3.nntp.dca.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!goblin2!goblin.stu.neva.ru!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Generics vs. O-O?
Date: Sat, 3 Aug 2013 10:57:45 +0200
Organization: cbb software GmbH
Message-ID: <zmnvgwm5u5gh$.doc1ob61j3n1$.dlg@40tude.net>
References: <6238c325-79c5-4537-ba55-2800110dc6df@googlegroups.com>
 <1wugpqyea6s39$.e2e8eshup5wn$.dlg@40tude.net>
 <51fadf40$0$6557$9b4e6d93@newsspool4.arcor-online.net>
 <15qso6tlt3uf1.h45wqc019b00$.dlg@40tude.net> <op.w07rueppule2fv@cardamome>
 <51fcb2d7$0$6553$9b4e6d93@newsspool4.arcor-online.net>
Reply-To: mailbox@dmitry-kazakov.de
NNTP-Posting-Host: q/ev1P9zCVSwu+vpMGX5Tw.user.speranza.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
X-Complaints-To: abuse@aioe.org
User-Agent: 40tude_Dialog/2.0.15.1
X-Notice: Filtered by postfilter v. 0.8.2
X-Original-Bytes: 1593
Xref: number.nntp.dca.giganews.com comp.lang.ada:182831
Date: 2013-08-03T10:57:45+02:00
List-Id: <comp.lang.ada>

On Sat, 03 Aug 2013 09:35:53 +0200, Georg Bauhaus wrote:

> Maybe we should coin terms such as "weakly subtyped",

Weak subtyping is exactly what weak typing is. Namely implicit conversions
of the type which changes the semantics of the corresponding value.

(And subtype is a type anyway)

P.S. Note that Ada subtypes are strongly typed when constraint violation is
covered by the contract (Ada 83) and weak if a precondition is used instead
(Ada 2012). Dynamic preconditions constitute weak typing.

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