Re: Languages with types like Ada

From	"Luke A. Guest" <laguest@archeia.com>
Newsgroups	comp.compilers
Subject	Re: Languages with types like Ada
Date	2022-10-21 21:00 +0100
Organization	Aioe.org NNTP Server
Message-ID	<22-10-038@comp.compilers> (permalink)
References	<22-10-034@comp.compilers> <22-10-037@comp.compilers>

Show all headers | View raw

On 21/10/2022 13:30, antispam@math.uni.wroc.pl wrote:
> Luke A. Guest <laguest@archeia.com> 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]

Back to comp.compilers | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Languages with types like Ada "Luke A. Guest" <laguest@archeia.com> - 2022-10-20 10:01 +0100
  Re: Languages with types like Ada antispam@math.uni.wroc.pl - 2022-10-21 12:30 +0000
    Re: Languages with types like Ada "Luke A. Guest" <laguest@archeia.com> - 2022-10-21 21:00 +0100
      Re: Languages with types like Ada Hans-Peter Diettrich <DrDiettrich1@netscape.net> - 2022-10-22 11:26 +0200
      Re: Languages with types like Ada Bo Persson <bo@bo-persson.se> - 2022-10-22 18:17 +0200
  Re: Languages with types like Ada gah4 <gah4@u.washington.edu> - 2022-10-21 17:09 -0700
  Re: Languages with types like Ada "Thomas F. Burdick" <thomas@burdick.fr> - 2022-10-22 14:30 +0200
    Re: Languages with types like Ada "Luke A. Guest" <laguest@archeia.com> - 2022-10-22 21:22 +0100
    Re: Languages with types like Ada Christopher F Clark <christopher.f.clark@compiler-resources.com> - 2022-10-23 20:02 +0300
      Re: Languages with types like Ada "Luke A. Guest" <laguest@archeia.com> - 2022-10-23 20:17 +0100
    Re: Languages with types like Ada Andreas Rumpf <a.rumpf@crosssoft.de> - 2022-11-07 09:58 +0100

csiph-web