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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 11232c,606685f2786a81e9
X-Google-Attributes: gid11232c,public
X-Google-Thread: 103376,8f2146b9c1ab93cc
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-04-06 14:23:17 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!news.mailgate.org!mygate.mailgate.org!198.207.153.205!not-for-mail
From: "Kent Paul Dolan" <xanthian@well.com>
Newsgroups: comp.lang.ada,misc.misc
Subject: Implied Programming contracts: Upping the ante (was): ToString?
Date: Sat, 6 Apr 2002 22:23:16 +0000 (UTC)
Organization: Mailgate.ORG Server - http://www.Mailgate.ORG
Message-ID: <9ae97cff4b13340d5aee875c95e2c7de.48257@mygate.mailgate.org>
References: <a6kv3e$faat1$1@ID-107015.news.dfncis.de>
 <d58d629758a615d5bac360da8668b133.48257@mygate.mailgate.org>
 <3C918515.20808@worldnet.att.net>
 <6e9cd02332705638a4cd86a4a2f521e7.48257@mygate.mailgate.org>
 <pan.2002.04.04.21.10.34.608997.22587@jps-nospam.net>
 <5e081eac7f7a97a4b8c0fa173d366970.48257@mygate.mailgate.org>
 <pan.2002.04.05.20.08.08.287482.22587@jps-nospam.net>
NNTP-Posting-Host: 198.207.153.205
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: news.mailgate.org 1018116853 6520 198.207.153.205 (Sun Apr  7
 00:23:16 2002)
X-Complaints-To: abuse@mailgate.org
NNTP-Posting-Date: Sat, 6 Apr 2002 22:23:16 +0000 (UTC)
Injector-Info: news.mailgate.org; posting-host=198.207.153.205;
 posting-account=48257; posting-date=1018116853
User-Agent: Mailgate Web Server
X-URL: 
 http://mygate.mailgate.org/mynews/comp/comp.lang.ada/9ae97cff4b13340d5aee875c95e2c7de.48257%40mygate.mailgate.org
Xref: archiver1.google.com comp.lang.ada:22182 misc.misc:6164
Date: 2002-04-06T22:23:16+00:00
List-Id: <comp.lang.ada>

"Eric G. Miller" <egm2@jps-nospam.net> wrote:

> I'm not sure this is even topical in this newgroup.


Well, sure it is.  The question of whether a programming language has,
or needs, implied contracts (or explicit ones, like Eiffel's) is always
on topic if the discussion is eventually hauled back from "but look how
much better language Y does it" to some positive proposals for language
X.

xanthian.


-- 
Posted via Mailgate.ORG Server - http://www.Mailgate.ORG