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=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!feeder.erje.net!eu.feeder.erje.net!newsfeed.datemas.de!weretis.net!feeder4.news.weretis.net!news.teledata-fn.de!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail Date: Thu, 05 Jun 2014 10:26:42 +0200 From: Georg Bauhaus User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.9; rv:24.0) Gecko/20100101 Thunderbird/24.5.0 MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: a new language, designed for safety ! References: <3bf7907b-2265-4314-a693-74792df531d1@googlegroups.com> In-Reply-To: <3bf7907b-2265-4314-a693-74792df531d1@googlegroups.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Message-ID: <539029c3$0$6621$9b4e6d93@newsspool4.arcor-online.net> Organization: Arcor NNTP-Posting-Date: 05 Jun 2014 10:26:43 CEST NNTP-Posting-Host: 183849cf.newsspool4.arcor-online.net X-Trace: DXC=@HcjLh>_cHTX3jm6DbjOLILjNo X-Complaints-To: usenet-abuse@arcor.de Xref: news.eternal-september.org comp.lang.ada:20136 Date: 2014-06-05T10:26:43+02:00 List-Id: On 04/06/14 17:25, Dan'l Miller wrote: > Or in short, Swift's so-called safety is much more like swiss cheese (Swift cheese?) than Ada's higher expectations of what constitutes safety. Consequently, Ada programmers just cannot express certain valuable algorithms if the execution environment isn't known at compile time. I understand that GNAT supports dynamic plug-ins. Are they safe? http://www.adacore.com/knowledge/technical-papers/dynamic-plug-in-loading-with-ada/