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=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,6689542a60dbcc55 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,UTF8 Path: g2news1.google.com!news4.google.com!feeder.news-service.com!news.mixmin.net!aioe.org!not-for-mail From: =?utf-8?Q?Yannick_Duch=C3=AAne_=28Hibou57?= =?utf-8?Q?=29?= Newsgroups: comp.lang.ada Subject: Re: Discriminated records are not the most efficient, but ... Date: Sat, 21 Aug 2010 23:57:19 +0200 Organization: Ada At Home Message-ID: References: NNTP-Posting-Host: +TrWgxz148iwP+7CHi2Trg.user.speranza.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes Content-Transfer-Encoding: Quoted-Printable X-Complaints-To: abuse@aioe.org X-Notice: Filtered by postfilter v. 0.8.2 User-Agent: Opera Mail/10.61 (Win32) Xref: g2news1.google.com comp.lang.ada:13588 Date: 2010-08-21T23:57:19+02:00 List-Id: Le Sat, 21 Aug 2010 23:18:35 +0200, Yannick Duch=C3=AAne (Hibou57) = a =C3=A9crit: > http://en.wikipedia.org/wiki/Tagged_union An opportunity to notice how Ada provides the concept to map this elemen= t = of functional programming to its imperative language. And there may be = others which can be easily mapped to Ada. Model in ML or SML (prototypin= g = at a very abstract level) and implement in Ada (get safety and efficienc= y) = ? May be an option for *some* applications.