Christoph There are several examples of untagged discriminated types in my book. Many of them have been there since I first wrote it in 1981.
John -----Original Message----- From: Christoph & Ursula Grein <[email protected]> Sent: 17 February 2024 13:06 To: [email protected] Subject: Re: [Ada-Comment] Components of derived untagged discriminated record types Randy, > The one thing you didn't answer is why you were thinking about this > case in the first place. I'm still curious as to what use case led you > to thinking about disappearing discriminants, which seem altogether useless > to me. You're right, this is more of an academic discussion. After retirement, I held some basic Ada programming courses in German, which I finally made public (in very extended form because for self study, there is no time limit like in a payed course constrained to a few days) at Ada Germany web site. I'm now working on a future public course about OOP, and I sought an application for untagged discriminated types. I myself do not find the Coaches example very convincing. But the RM requirements are not convincing either :-( I'll continue the discussion on GitHub. Christoph ________________________________________________________ You have received this message because you subscribed to the Ada-Comment mailing list. To leave the Ada-Comment list, send an email with 'leave Ada-Comment' in the body to [email protected]. For help on the other commands available, send 'help Ada-Comment' to the same address. Problems? Send mail to [email protected]. This list is operated by the Ada Resource Association, Inc., PO Box 8685, New York NY 10116-8685. ________________________________________________________ You have received this message because you subscribed to the Ada-Comment mailing list. To leave the Ada-Comment list, send an email with 'leave Ada-Comment' in the body to [email protected]. For help on the other commands available, send 'help Ada-Comment' to the same address. Problems? Send mail to [email protected]. This list is operated by the Ada Resource Association, Inc., PO Box 8685, New York NY 10116-8685.
