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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: fac41,39771953fe5b2343
X-Google-Attributes: gidfac41,public
X-Google-Thread: 103376,39771953fe5b2343
X-Google-Attributes: gid103376,public
From: morganpalaeo@peg.apc.org (Morgan Palaeo Associates)
Subject: Re: Enforcing assertions in Eiffel
Date: 1997/10/01
Message-ID: <60si0r$kef@peg.apc.org>#1/1
X-Deja-AN: 276960345
References: <341EABAB.41C67EA6@eiffel.com> <341fddde.0@news.uni-ulm.de>
 <34201D40.CF490EC0@munich.netsurf.de> <342fc4bc.0@news.uni-ulm.de>
Distribution: world
Organization: Geological Consultants
Newsgroups: comp.lang.eiffel,comp.lang.ada
Date: 1997-10-01T00:00:00+00:00
List-Id: <comp.lang.ada>


rodemann@mathematik.uni-ulm.de (Joerg Rodemann) wrote:

^
| But on the other hand please do not just continue those long
| threads about spec/impl and assertions.
v

Personally, I think the debates have been very constructive - I've long been
interested in language philosophy; why languages are designed the way they
are; and reading the Ada/Eiffel debates has inspired me to think through my
own opinions.  Usually I conclude that the ideal is an imaginary language
somewhere between Ada and Eiffel.  Many thanks to everyone who has participated
in the debates to help make comp.lang.ada an exciting place to visit!!

-- Adrian Morgan