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-22 21:22 +0100
Organization	Aioe.org NNTP Server
Message-ID	<22-10-047@comp.compilers> (permalink)
References	<22-10-034@comp.compilers> <22-10-044@comp.compilers>

Show all headers | View raw

On 22/10/2022 17:17, Bo Persson wrote:
> 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.

But in Ada, you're supposed to model your types to the domain, unlike
all the other languages which use machine types, int, i32, etc.

On 22/10/2022 13:30, Thomas F. Burdick wrote:
> Have you looked at the typed functional languages (SML/OCaml, Haskell)? If
> you're looking for a maximum amount of information expressed via types,
> dependent types do that: Idris and Agda would be the languages to check out
> there. ...

I'm wanting to know if there are any other languages which move away
from the machine types, int, short, long, i32, i64, etc. and implement
these types like in Ada, where you model the data, range, size, bit
order, etc.

[PL/I does that attribute stuff but two types with the same attributes
are the same. -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