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: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: "G.B." <bauhaus@futureapps.invalid>
Newsgroups: comp.lang.ada
Subject: Spoiled by Ada
Date: Thu, 4 Aug 2016 18:31:01 +0200
Organization: A noiseless patient Spider
Message-ID: <nnvqk5$60a$1@dont-email.me>
Reply-To: nonlegitur@futureapps.de
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Thu, 4 Aug 2016 16:31:02 -0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="b96887e80893c84a90c3007226ca0d1c";
	logging-data="6154"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19yBIOuDV7t1/hjU1iCqs+SZLufsXvEE44="
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.11; rv:45.0)
 Gecko/20100101 Thunderbird/45.1.0
X-Mozilla-News-Host: news://news.arcor.de:119
Cancel-Lock: sha1:WJ7LlpinISpkvhbyj4cfAVAJHoo=
Xref: news.eternal-september.org comp.lang.ada:31286
Date: 2016-08-04T18:31:01+02:00
List-Id: <comp.lang.ada>

Having used named integer types in Ada programs,
I am now longing for them once more, writing Swift
programs. Different Int16s, say, read from the data
store, to be different to the compiler. Like

    type Weight is new Integer range 1 .. 100;

Nope. Not here. The closest easy analog is typealias-ing.
(Maybe also a RawRepresentable struct, seems a hack.)

While it is a pleasure to see many features known
to Ada programmers in Swift (e.g. ranges, complete
case distinctions, a discussion of Cursor vs Container
for Swift 3 SE-0065, I see something new every day...),
it is sad that one cannot derive new numeric types.
(IINM)

So, either don't do that, or proudly manage writing
your own number types, leveraging whatever swirling
protocols and compiler-checked auto-conversions, and
operator definitions you'll think of. Slightly bitter.