Re: Languages with types like Ada

Path	csiph.com!weretis.net!feeder6.news.weretis.net!news.misty.com!news.iecc.com!.POSTED.news.iecc.com!nerds-end
From	"Thomas F. Burdick" <thomas@burdick.fr>
Newsgroups	comp.compilers
Subject	Re: Languages with types like Ada
Date	Sat, 22 Oct 2022 14:30:36 +0200
Organization	Compilers Central
Sender	news@iecc.com
Approved	comp.compilers@iecc.com
Message-ID	<22-10-044@comp.compilers> (permalink)
References	<22-10-034@comp.compilers>
MIME-Version	1.0
Content-Type	text/plain; charset="us-ascii"
Content-Transfer-Encoding	8bit
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
X-submission-address	compilers@iecc.com
X-moderator-address	compilers-request@iecc.com
X-FAQ-and-archives	http://compilers.iecc.com
In-Reply-To	<22-10-034@comp.compilers>
Xref	csiph.com comp.compilers:3214

Show key headers only | View raw

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.

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