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 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,a0be06fbc0dd71f1 X-Google-Attributes: gid103376,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news2.google.com!newsfeed.stanford.edu!sn-xt-sjc-02!sn-xt-sjc-09!sn-post-sjc-01!supernews.com!corp.supernews.com!not-for-mail From: Brian May Newsgroups: comp.lang.ada Subject: Re: The future of Ada is at risk Date: Mon, 07 Jan 2008 11:11:51 +1100 Organization: Posted via Supernews, http://www.supernews.com Message-ID: References: <20071229040639.f753f982.coolzone@it.dk> <878x3436pj.fsf@ludovic-brenta.org> <1199531506.9355.8.camel@K72> <1199539751.9355.46.camel@K72> <1xu2jerm6vwjv.mt6we9a8wu5q.dlg@40tude.net> User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.1 (gnu/linux) Cancel-Lock: sha1:KqsfJmPayKM0Y6PH778PMnSQ14U= MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Complaints-To: abuse@supernews.com Xref: g2news1.google.com comp.lang.ada:19249 Date: 2008-01-07T11:11:51+11:00 List-Id: >>>>> "Dmitry" == Dmitry A Kazakov writes: Dmitry> [ I think that the issue with static typing can be resolved. Of course the Dmitry> best way would be a support for anonymous record types (tuples). But there Dmitry> exist also possibilities to use generics or else to have abstract base Dmitry> tagged types for cells.] My preference for implementing such a system would be to have a pre-compiler that compiles the basic table definitions into Ada code that can be compiled with the rest of the application (e.g. like IDL compilers). That way you get static type checking, minimal run-time overhead, etc. However, I suspect that I just turned off a lot of people who don't like pre-compilers. -- Brian May