|Languages with types like Ada email@example.com (Luke A. Guest) (2022-10-20)|
|Re: Languages with types like Ada firstname.lastname@example.org (2022-10-21)|
|Re: Languages with types like Ada email@example.com (Luke A. Guest) (2022-10-21)|
|Re: Languages with types like Ada firstname.lastname@example.org (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 email@example.com (Thomas F. Burdick) (2022-10-22)|
|Re: Languages with types like Ada firstname.lastname@example.org (Bo Persson) (2022-10-22)|
|Re: Languages with types like Ada email@example.com (Luke A. Guest) (2022-10-22)|
|Re: Languages with types like Ada firstname.lastname@example.org (Christopher F Clark) (2022-10-23)|
|[2 later articles]|
|From:||"Luke A. Guest" <email@example.com>|
|Date:||Fri, 21 Oct 2022 21:00:13 +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="42521"; mail-complaints-to="firstname.lastname@example.org"|
|Posted-Date:||21 Oct 2022 19:44:41 EDT|
On 21/10/2022 13:30, email@example.com wrote:
> Luke A. Guest <firstname.lastname@example.org> 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]
Return to the
Search the comp.compilers archives again.