From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on ip-172-31-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.6 Path: eternal-september.org!reader02.eternal-september.org!aioe.org!Lx7EM+81f32E0bqku+QpCA.user.46.165.242.75.POSTED!not-for-mail From: "Luke A. Guest" Newsgroups: comp.lang.ada Subject: Re: Adacore joins with Ferrous Systems to support Rust Date: Thu, 3 Feb 2022 12:51:09 +0000 Organization: Aioe.org NNTP Server Message-ID: References: <87o83pzlvm.fsf@nightsong.com> <87bkzpyqx3.fsf@nightsong.com> <8735l0zo6j.fsf@nightsong.com> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Info: gioia.aioe.org; logging-data="35336"; posting-host="Lx7EM+81f32E0bqku+QpCA.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org"; User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.5.1 X-Notice: Filtered by postfilter v. 0.9.2 Content-Language: en-GB Xref: reader02.eternal-september.org comp.lang.ada:63464 List-Id: On 03/02/2022 11:30, Simon Wright wrote: > "Luke A. Guest" writes: > >> At uni, we didn't even touch on tagged types, but used controlled >> types > > Of course controlled types are implemented as tagged types. ISTR Dmitry We had a book with a reading guide. We weren't shown the specs showing the type of controlled/limited_controlled. So, when you don't have that information and only know that you can derive from it and then implement 2 or 3 subprograms, you don't need to know about OOP in Ada. Just like we didn't touch generic packages until much later in the year, generic subprograms, yeah, because u_d was required early on. > objecting to this, I think he was right (philosophically; I've no idea > about the practicality of alternate approaches). How else would you do controlled types?