Re: Languages with types like Ada

"Thomas F. Burdick" <thomas@burdick.fr>
Sat, 22 Oct 2022 14:30:36 +0200

          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: "Thomas F. Burdick" <thomas@burdick.fr>
Newsgroups: comp.compilers
Date: Sat, 22 Oct 2022 14:30:36 +0200
Organization: Compilers Central
References: 22-10-034
Injection-Info: gal.iecc.com; posting-host="news.iecc.com:2001:470:1f07:1126:0:676f:7373:6970"; logging-data="59247"; mail-complaints-to="abuse@iecc.com"
Keywords: Ada, types
Posted-Date: 22 Oct 2022 14:47:47 EDT
In-Reply-To: 22-10-034

From the thread so far, I'm also not entirely sure what features of Ada you're
referring to -- perhaps an example of what you mean would help.


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.




Le 20 octobre 2022 11:01:02 GMT+02:00, "Luke A. Guest" <laguest@archeia.com> a
écrit :
>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.

Post a followup to this message

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