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!weretis.net!feeder1.news.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: Sun, 13 Apr 2014 15:08:04 +0200
From: Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.9;
 rv:24.0) Gecko/20100101 Thunderbird/24.3.0
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Heartbleed
References: <1ljwj8f.1wqbhvuabsdw1N%csampson@inetworld.net>
	<51c7d6d4-e3be-44d5-a4ce-f7e875345588@googlegroups.com>
	<li9g34$9q8$1@dont-email.me>
 <%J32v.70539$kp1.45343@fx14.iad>	<liap70$ckq$1@speranza.aioe.org>
	<87mwfq4vvj.fsf@kuiper.lan.informatimago.com>
	<libmkh$mn6$1@speranza.aioe.org>
 <87ioqe4brz.fsf@kuiper.lan.informatimago.com>
 <bqtr5rF8l95U1@mid.individual.net>
In-Reply-To: <bqtr5rF8l95U1@mid.individual.net>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <534a8c34$0$6619$9b4e6d93@newsspool4.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 13 Apr 2014 15:08:04 CEST
NNTP-Posting-Host: 7eef1075.newsspool4.arcor-online.net
X-Trace: 
 DXC=HI=C7ojf90?85[]]\]T0814IUK<Cl32<14Fo<]lROoR18kF<OcfhCO;2A@5h?dhfK5PCY\c7>ejV8bPAeP85=AY4R3WSk4]C?E=
X-Complaints-To: usenet-abuse@arcor.de
Xref: news.eternal-september.org comp.lang.ada:19290
Date: 2014-04-13T15:08:04+02:00
List-Id: <comp.lang.ada>

On 12/04/14 23:57, Niklas Holsti wrote:

> Moreover, I don't see how you can be sure that a Lisp or Python
> implementation *would* have used run-time unit tags. And finally, as
> GNAT now shows, unit checking can be done statically with types, which
> is always IMO better for this kind of systems.

The suggestions consistently make me wonder how the generalization
- from: having fixed one error (with the help of an on-board Lisp
   compiler and remote programming)
- to: a universal, "oraculous" error handling capability of Lisp
   programs slips the attention of its promoters.