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!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: Natasha Kerensikova <lithiumcat@instinctive.eu>
Newsgroups: comp.lang.ada
Subject: Tagged type abuse
Date: Thu, 18 Dec 2014 11:26:58 +0000 (UTC)
Organization: A noiseless patient Spider
Message-ID: <slrnm95egb.nrc.lithiumcat@nat.rebma.instinctive.eu>
Injection-Date: Thu, 18 Dec 2014 11:26:58 +0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="76a49b86bc3e16725b7cfca3d85cb4c8";
	logging-data="12059"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19iqTmT5NtY8qeSF6TJ/GIv"
User-Agent: slrn/1.0.1 (FreeBSD)
Cancel-Lock: sha1:U2iUJUuNSA1A7Pu5zRxQDVPKc1U=
Xref: news.eternal-september.org comp.lang.ada:24112
Date: 2014-12-18T11:26:58+00:00
List-Id: <comp.lang.ada>

Hello,

I find myself using more and more tagged types for reasons that have
nothing to do with tagging, mostly the prefix notations (when it helps
readability and when a function call is conceptually accessing a record
element but with a hidden concrete implementation) and the passing by
reference.

However, I still feel guilty about it, like I'm abusing a feature
unrelated to what I wish to accomplish.

What would you recommend to appease such feelings?
Sacrificing prefix notation readability on types that have no business
being tagged?
Trying to be more pragmatic and use tools (and language features) for any
purpose at which they end up being useful, even unintended?


Natasha