Languages with types like Ada

"Luke A. Guest" <laguest@archeia.com>
Thu, 20 Oct 2022 10:01:02 +0100

          From comp.compilers
Related articles
Languages with types like Ada laguest@archeia.com (Luke A. Guest) (2022-10-20)
Re: Languages with types like Ada antispam@math.uni.wroc.pl (2022-10-21)
Re: Languages with types like Ada laguest@archeia.com (Luke A. Guest) (2022-10-21)
Re: Languages with types like Ada gah4@u.washington.edu (gah4) (2022-10-21)
Re: Languages with types like Ada DrDiettrich1@netscape.net (Hans-Peter Diettrich) (2022-10-22)
Re: Languages with types like Ada thomas@burdick.fr (Thomas F. Burdick) (2022-10-22)
Re: Languages with types like Ada bo@bo-persson.se (Bo Persson) (2022-10-22)
[4 later articles]
| List of all articles for this month |
From: "Luke A. Guest" <laguest@archeia.com>
Newsgroups: comp.compilers
Date: Thu, 20 Oct 2022 10:01:02 +0100
Organization: Aioe.org NNTP Server
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
Content-Language: en-GB

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.

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.