Path: csiph.com!weretis.net!feeder6.news.weretis.net!news.misty.com!news.iecc.com!.POSTED.news.iecc.com!nerds-end From: "Luke A. Guest" Newsgroups: comp.compilers Subject: Re: Languages with types like Ada Date: Fri, 21 Oct 2022 21:00:13 +0100 Organization: Aioe.org NNTP Server Sender: news@iecc.com Approved: comp.compilers@iecc.com Message-ID: <22-10-038@comp.compilers> References: <22-10-034@comp.compilers> <22-10-037@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="42521"; mail-complaints-to="abuse@iecc.com" Keywords: Ada, types Posted-Date: 21 Oct 2022 19:44:41 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:3208 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? >> >> And no, i don't mean Pascal. I mean a fully fledged type system like Ada's. > > You probably should be clearer here. IMO distinctive feature of > Ada types is having parametrized types. IIUC Ada essentially the same > mechanism is available in (Extended) Pascal. More general version of No, it's not. Pascal cannot define fixed or float types. I'm wondering what other languages have a type system that can embed information into the type like Ada does. > parameterised types was in CLU. FriCAS computer algebra system has its I'll look into CLU and friCAS thanks. > own language called Spad, having very general parameterised types. If > you like Ada you probably will reject Spad generality, but all above came > from similar design considerations. > > Concerning "fully fledged type system", this is really an invitation > to a flame war. You should say which features of Ada type system > you want. And if you want enough features to be exactly the > same as in Ada, then Ada is likely the only language with this No, I want to know if there are other languages that did anything similar. > features. After all, what is purpose of developing a "new" > language when it is exactly the same as an existing language 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]