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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: G. B. <nonlegitur@nmhp.invalid>
Newsgroups: comp.lang.ada
Subject: Re: User defined implicit conversion
Date: Wed, 6 Nov 2019 06:19:13 -0000 (UTC)
Organization: A noiseless patient Spider
Message-ID: <qptol0$ngr$1@dont-email.me>
References: <d9269cae-93e5-428c-9c7c-a7a1f5679806@googlegroups.com>
 <qpcv5l$sm7$1@franka.jacob-sparre.dk>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 6 Nov 2019 06:19:13 -0000 (UTC)
Injection-Info: reader02.eternal-september.org;
 posting-host="b4f44e065f15604f634cc9c23bac4539";
	logging-data="24091"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX199Io5RiTZx1l1TwQ9DZnLLT5qYQcBz5oI="
User-Agent: NewsTap/5.3.4 (iPhone/iPod Touch)
Cancel-Lock: sha1:nFfW8yyL6r9GOBCJiukfDGPheYQ=
	sha1:/9sNUXDGxJXOW7H/987NRIZ//Ts=
Xref: reader01.eternal-september.org comp.lang.ada:57502
Date: 2019-11-06T06:19:13+00:00
List-Id: <comp.lang.ada>

Randy Brukardt <randy@rrsoftware.com> wrote:
> "Alain De Vos" <devosalain71@gmail.com> wrote in message 
> news:d9269cae-93e5-428c-9c7c-a7a1f5679806@googlegroups.com...
>> Casting from one type to another is a real pain.

> For example, instead of:
> 
>      type Type_A is new String;
> 
> use:
> 
>      Subtype Type_A is String;
> 
> And now you never need to use a type conversion between Type_A and String.

Implicit conversion introduces implicit knowledge, shared by authors of a
program. So, weak types should help employees stay safe in their jobs if
they have the knowledge.