Re: Languages with types like Ada

"Luke A. Guest" <laguest@archeia.com>
Sat, 22 Oct 2022 21:22:31 +0100

          From comp.compilers
Related articles
Languages with types like Ada laguest@archeia.com (Luke A. Guest) (2022-10-20)
Re: Languages with types like Ada antispam@math.uni.wroc.pl (2022-10-21)
Re: Languages with types like Ada laguest@archeia.com (Luke A. Guest) (2022-10-21)
Re: Languages with types like Ada gah4@u.washington.edu (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 thomas@burdick.fr (Thomas F. Burdick) (2022-10-22)
Re: Languages with types like Ada bo@bo-persson.se (Bo Persson) (2022-10-22)
Re: Languages with types like Ada laguest@archeia.com (Luke A. Guest) (2022-10-22)
Re: Languages with types like Ada christopher.f.clark@compiler-resources.com (Christopher F Clark) (2022-10-23)
Re: Languages with types like Ada laguest@archeia.com (Luke A. Guest) (2022-10-23)
Re: Languages with types like Ada a.rumpf@crosssoft.de (Andreas Rumpf) (2022-11-07)
| List of all articles for this month |
From: "Luke A. Guest" <laguest@archeia.com>
Newsgroups: comp.compilers
Date: Sat, 22 Oct 2022 21:22:31 +0100
Organization: Aioe.org NNTP Server
References: 22-10-034 22-10-044
Injection-Info: gal.iecc.com; posting-host="news.iecc.com:2001:470:1f07:1126:0:676f:7373:6970"; logging-data="86037"; mail-complaints-to="abuse@iecc.com"
Keywords: types, comment
Posted-Date: 22 Oct 2022 22:46:09 EDT

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]

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.