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!news.bbs-scene.org!weretis.net!feeder1.news.weretis.net!news.swapon.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: "Pascal J. Bourguignon" <pjb@informatimago.com>
Newsgroups: comp.lang.ada
Subject: Re: Heartbleed
Date: Sun, 13 Apr 2014 15:55:14 +0200
Organization: Informatimago
Message-ID: <87r4512v25.fsf@kuiper.lan.informatimago.com>
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>
	<534a8c34$0$6619$9b4e6d93@newsspool4.arcor-online.net>
Mime-Version: 1.0
Content-Type: text/plain
X-Trace: individual.net 9mqmhYCB94+aApU2V66zaQa49M/iII80QXMY/Ru7mk2x15ukTq
Cancel-Lock: sha1:OWNhYzJkODg5NjM2NzMyNTk3MGUyZjUxZTNkYmFlNmY2ODkwMjg1YQ==
 sha1:tQnuosJ4NGj80zX/Qrq1/7KE3U4=
Face: iVBORw0KGgoAAAANSUhEUgAAADAAAAAwAQMAAABtzGvEAAAABlBMVEUAAAD///+l2Z/dAAAA
      oElEQVR4nK3OsRHCMAwF0O8YQufUNIQRGIAja9CxSA55AxZgFO4coMgYrEDDQZWPIlNAjwq9
      033pbOBPtbXuB6PKNBn5gZkhGa86Z4x2wE67O+06WxGD/HCOGR0deY3f9Ijwwt7rNGNf6Oac
      l/GuZTF1wFGKiYYHKSFAkjIo1b6sCYS1sVmFhhhahKQssRjRT90ITWUk6vvK3RsPGs+M1RuR
      mV+hO/VvFAAAAABJRU5ErkJggg==
X-Accept-Language: fr, es, en
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux)
Xref: news.eternal-september.org comp.lang.ada:19291
Date: 2014-04-13T15:55:14+02:00
List-Id: <comp.lang.ada>

Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de> writes:

> 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.

That's the difference between what the tools make easy vs. what the
tools render difficult to do.

To dig a swimming pool, you can choose between a spoon and a bulldozer too.

-- 
__Pascal Bourguignon__
http://www.informatimago.com/
"Le mercure monte ?  C'est le moment d'acheter !"