Path: csiph.com!weretis.net!feeder6.news.weretis.net!news.misty.com!news.iecc.com!.POSTED.news.iecc.com!nerds-end
From: Andreas Rumpf <a.rumpf@crosssoft.de>
Newsgroups: comp.compilers
Subject: Re: Languages with types like Ada
Date: Mon, 7 Nov 2022 09:58:40 +0100
Organization: Compilers Central
Sender: news@iecc.com
Approved: comp.compilers@iecc.com
Message-ID: <22-11-002@comp.compilers>
References: <22-10-034@comp.compilers> <22-10-044@comp.compilers>
MIME-Version: 1.0 (Mac OS X Mail 16.0 \(3696.100.31\))
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Info: gal.iecc.com; posting-host="news.iecc.com:2001:470:1f07:1126:0:676f:7373:6970"; logging-data="8310"; mail-complaints-to="abuse@iecc.com"
Keywords: Ada, types
Posted-Date: 07 Nov 2022 05:10:47 EST
X-submission-address: compilers@iecc.com
X-moderator-address: compilers-request@iecc.com
X-FAQ-and-archives: http://compilers.iecc.com
Xref: csiph.com comp.compilers:3235

Nim supports some of Ada’s features in this regard. You can specify
subranges of integers and floats, there is a `distinct` type mechanism etc.