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