Path: csiph.com!tncsrv06.tnetconsulting.net!weretis.net!feeder6.news.weretis.net!news.misty.com!news.iecc.com!.POSTED.news.iecc.com!nerds-end
From: "Luke A. Guest" <laguest@archeia.com>
Newsgroups: comp.compilers
Subject: Languages with types like Ada
Date: Thu, 20 Oct 2022 10:01:02 +0100
Organization: Aioe.org NNTP Server
Sender: news@iecc.com
Approved: comp.compilers@iecc.com
Message-ID: <22-10-034@comp.compilers>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Info: gal.iecc.com; posting-host="news.iecc.com:2001:470:1f07:1126:0:676f:7373:6970"; logging-data="34865"; mail-complaints-to="abuse@iecc.com"
Keywords: types, question
Posted-Date: 20 Oct 2022 17:08:47 EDT
X-submission-address: compilers@iecc.com
X-moderator-address: compilers-request@iecc.com
X-FAQ-and-archives: http://compilers.iecc.com
Content-Language: en-GB
Xref: csiph.com comp.compilers:3204

Hi,

I've been using Ada for a while and I cannot seem to find any other
languages which were developed which had a similar/same way of embedding
information into types (including basic discrete types). Are there any?

And no, i don't mean Pascal. I mean a fully fledged type system like Ada's.

Thanks,
Luke.