comp.lang.ada
 help / color / mirror / Atom feed
From: morganpalaeo@peg.apc.org (Morgan Palaeo Associates)
Subject: Re: Enforcing assertions in Eiffel
Date: 1997/10/01
Date: 1997-10-01T00:00:00+00:00	[thread overview]
Message-ID: <60si0r$kef@peg.apc.org> (raw)
In-Reply-To: 342fc4bc.0@news.uni-ulm.de


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




  parent reply	other threads:[~1997-10-01  0:00 UTC|newest]

Thread overview: 14+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1997-09-13  0:00 New copying license for classes/modules: CGPL Wouter Scholten
1997-09-14  0:00 ` Robert Dewar
1997-09-16  0:00   ` Bertrand Meyer
1997-09-17  0:00     ` Robert Dewar
1997-09-17  0:00     ` Robert Dewar
1997-09-17  0:00     ` Joerg Rodemann
1997-09-17  0:00       ` Enforcing assertions in Eiffel Joachim Durchholz
1997-09-29  0:00         ` Joerg Rodemann
1997-09-30  0:00           ` Joachim Durchholz
1997-10-01  0:00             ` Jon S Anthony
1997-10-09  0:00               ` JOVIAL (J3) John R. Fluharty, Jr
1997-10-01  0:00           ` Morgan Palaeo Associates [this message]
1997-10-01  0:00             ` Enforcing assertions in Eiffel Joerg Rodemann
1997-10-01  0:00               ` W. Wesley Groleau x4923
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox