Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.compilers > #3207

Re: Languages with types like Ada

Show all headers | View raw

Luke A. Guest <laguest@archeia.com> wrote:
> 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.

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
parameterised types was in CLU.  FriCAS computer algebra system has its
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
features.  After all, what is purpose of developing a "new"
language when it is exactly the same as an existing language
(OK, you may do this due to copyright/trademarks).

--
                              Waldek Hebisch

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