Re: Languages with types like Ada

From	Bo Persson <bo@bo-persson.se>
Newsgroups	comp.compilers
Subject	Re: Languages with types like Ada
Date	2022-10-22 18:17 +0200
Organization	Compilers Central
Message-ID	<22-10-045@comp.compilers> (permalink)
References	<22-10-034@comp.compilers> <22-10-037@comp.compilers> <22-10-038@comp.compilers>

Show all headers | View raw

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 <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? ...
> 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.

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