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,9e7db243dfa070d7
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!feeder.news-service.com!85.214.198.2.MISMATCH!eternal-september.org!feeder.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: Do people who use Ada also use ocaml or F#?
Date: Sun, 07 Nov 2010 11:51:32 +0000
Organization: A noiseless patient Spider
Message-ID: <m2oca1xsfv.fsf@pushface.org>
References: 
 <b17dc7a8-7f8e-46b7-942c-b08ba83ce8fa@j25g2000yqa.googlegroups.com>
	<gt9eaeq2y4pc$.11t5wghh3e8jh$.dlg@40tude.net>
	<87k4kz3mda.fsf@mid.deneb.enyo.de>
	<amlrr4wam4x6.10s9ynz9e8br$.dlg@40tude.net> <op.vlekzab8ule2fv@garhos>
	<5jjgrklivesk$.z0is5qe7mgbt.dlg@40tude.net>
	<b162afef-505e-492e-80b6-be636de6d236@y23g2000yqd.googlegroups.com>
	<khe570ncicmo.1qbyqnnvl4zrp.dlg@40tude.net>
	<wccpqukc50q.fsf@shell01.TheWorld.com>
	<82mxpmz7t3.fsf@stephe-leake.org>
	<wcclj56cgsx.fsf@shell01.TheWorld.com>
	<t3psuch4qhzm$.ee2rft9bazm6.dlg@40tude.net>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Injection-Info: mx02.eternal-september.org;
 posting-host="dFCm8HWntFqmDIilBLqEJQ";
	logging-data="18135"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX190jWLzbEim3/BQooi7PLtq+awhMM8LyUw="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.2 (darwin)
Cancel-Lock: sha1:mvIUU+ss4ha+a7gCt7x8LlawCyw=
	sha1:+pzbbem2vNtGKswC6j7Lx8VhEjE=
Xref: g2news1.google.com comp.lang.ada:15370
Date: 2010-11-07T11:51:32+00:00
List-Id: <comp.lang.ada>

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:

> Furthermore, I would bet that practically any generic can be broken
> per erroneous instantiation, e.g. by passing function "-" where "+"
> expected.  We discard these cases as unlike, but we cannot prove that
> they indeed do not happen, until we instantiate, with is the essence
> of being non-testable.

Good grief, most code won't give the right answers (=> answers you were
hoping for) if you violate its preconditions!