From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Received: by 2002:a6b:9308:: with SMTP id
 v8-v6mr18946093iod.23.1539066139354;
        Mon, 08 Oct 2018 23:22:19 -0700 (PDT)
X-Received: by 2002:a9d:4497:: with SMTP id v23mr360171ote.6.1539066139109;
 Mon, 08 Oct 2018 23:22:19 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.gegeweb.eu!gegeweb.org!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.166.215.MISMATCH!z5-v6no19706ite.0!news-out.google.com!n199-v6ni57itn.0!nntp.google.com!x98-v6no19853ita.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Mon, 8 Oct 2018 23:22:18 -0700 (PDT)
In-Reply-To: <ppgnnu$v90$1@franka.jacob-sparre.dk>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=62.121.55.154;
 posting-account=9KbC2woAAAA0kK2IAUr3-FkzJBtOzrhm
NNTP-Posting-Host: 62.121.55.154
References: <0f5608ef-0038-491c-b15f-f67bcc76fae8@googlegroups.com>
 <00285ebf-6ede-44da-848f-456930dc7475@googlegroups.com>
 <ppgnnu$v90$1@franka.jacob-sparre.dk>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <0028bb67-9b19-46a5-a126-3415e0281add@googlegroups.com>
Subject: Re: Record operations (Algebraic Data Types and printing)
From: =?UTF-8?B?SGVucmlrIEjDpHJrw7ZuZW4=?= <heharkon@gmail.com>
Injection-Date: Tue, 09 Oct 2018 06:22:19 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: reader02.eternal-september.org comp.lang.ada:54519
Date: 2018-10-08T23:22:18-07:00
List-Id: <comp.lang.ada>

On Tuesday, 9 October 2018 02:03:28 UTC+3, Randy Brukardt  wrote:
> For the OP: Ada 2020 most likely will have a mechanism to do what you want. 
> But you probably don't want to wait for that to show up in your favorite 
> compiler. So you do in fact have to do it yourself.

Yeah, I'll do it by myself in the meanwhile. :) Exciting this new version though. 

And interestingly, what got me initially checking more about Ada, was this Wikipedia page about Dependent Types, where "Ada 202x" was listed to be supporting those: 

https://en.wikipedia.org/wiki/Dependent_type

But I'm not sure did I see such things on the Ada 2020 development page, maybe I have to read those more thoroughly.

-Henrik