Path: csiph.com!weretis.net!feeder6.news.weretis.net!news.misty.com!news.iecc.com!.POSTED.news.iecc.com!nerds-end From: Bo Persson Newsgroups: comp.compilers Subject: Re: Languages with types like Ada Date: Sat, 22 Oct 2022 18:17:58 +0200 Organization: Compilers Central Sender: news@iecc.com Approved: comp.compilers@iecc.com Message-ID: <22-10-045@comp.compilers> References: <22-10-034@comp.compilers> <22-10-037@comp.compilers> <22-10-038@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="60016"; mail-complaints-to="abuse@iecc.com" Keywords: types, question Posted-Date: 22 Oct 2022 14:49:55 EDT 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:3215 On 2022-10-21 at 22:00, Luke A. Guest wrote: > On 21/10/2022 13:30, antispam@math.uni.wroc.pl wrote: >> Luke A. Guest wrote: >>> 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? ... > No, I could write an Ada compiler, but the language is massive and needs > cutting down, the ARG won't do that, so a smaller language with the bits > I want and bits I don't removed is a better way forward. > [In C you can say "typedef short int foo" and now foo is a type. > Like that? -John] But in C foo is still the same type as short, just with a new name. In Ada you can say 'type foo is new integer' and foo is now just *like* an integer, but a distinct type with no auto conversions.