From: gedb@rushcoding.co.uk (Ged)
Subject: Re: OOP Language for OS Development
Date: 6 May 2004 02:35:51 -0700
Date: 2004-05-06T02:35:51-07:00 [thread overview]
Message-ID: <1a81ad90.0405060135.4c8dc47b@posting.google.com> (raw)
In-Reply-To: oLWdnfhCGNiYQwXdRVn-jw@wideopenwest.com
Thomas Gagn� <tgagne@wide-open-west.com> wrote in message news:<oLWdnfhCGNiYQwXdRVn-jw@wideopenwest.com>...
> Ged wrote:
>
> >Hyman Rosen <hyrosen@mail.com> wrote in message news:<3AFic.17011$eK3.5247@nwrdny01.gnilink.net>...
> >
> >
> >>[...]
> >>If the template happens to work for
> >>some class that doesn't conform to T, why should it be prevented from doing
> >>so?
> >>
> >>
> >>
> >Because in Eiffel its all about the contract.
> >
> >When the interface accepts paramaters to conform to T the objects
> >author is taking on a responsibility to ensure that the feature will
> >always accept a paramater that conforms to T. The compiler will do
> >everything it can to help the author meet that commitment.
> >
> >
> What' the difference between that and any other statically type-checked
> language? Does the compiler remember what the programmer said the type
> was and complain if they change it?
The original question was 'If the template happens to work [...] why
should it be prevented from doing so?'
The key difference between Eiffel and other statically type-checked
languages is design by contract, explicitly distinguishing between
'correct use' and 'what happens to work.' If the pre-conditions are
met, then the post conditions are guaranteed.
Of course, the compiler cannot enforce all of this. However, it can
provide a lot of support.
next prev parent reply other threads:[~2004-05-06 9:35 UTC|newest]
Thread overview: 69+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-04-15 5:53 OOP Language for OS Development KingIshu
2004-04-15 8:02 ` Martin Krischik
2004-04-15 12:25 ` Ioannis Vranos
2004-04-15 12:49 ` Ioannis Vranos
2004-04-15 12:39 ` Thomas Gagné
2004-04-15 14:32 ` jeffc
2004-04-15 14:45 ` Luke Guest
2004-04-17 16:30 ` Ender Everett
2004-04-19 1:53 ` EventHelix.com
2004-04-19 7:25 ` Martin Krischik
2004-04-19 8:35 ` Jean-Pierre Rosen
2004-04-19 9:16 ` Ioannis Vranos
2004-04-19 11:15 ` Jean-Pierre Rosen
2004-04-19 11:32 ` Martin Krischik
2004-04-19 17:36 ` Christopher Benson-Manica
2004-04-19 11:09 ` Philippe Ribet
2004-04-22 7:34 ` Calum
2004-04-22 10:48 ` John English
2004-04-23 8:36 ` Philippe Ribet
2004-04-23 9:55 ` Calum
2004-04-23 14:30 ` Steven Wurster
2004-04-23 15:04 ` Hyman Rosen
2004-04-23 22:08 ` Brian_Heilig
2004-04-23 22:33 ` Hyman Rosen
2004-04-24 12:53 ` Robert C. Martin
2004-04-25 1:25 ` Steven Wurster
2004-04-25 12:30 ` Robert C. Martin
2004-04-24 19:58 ` Anthony Weissenberger
2004-04-25 2:24 ` Hyman Rosen
2004-04-24 0:01 ` Steven Wurster
2004-04-24 15:27 ` JKop
2004-04-24 21:41 ` Greg C
2004-04-24 22:17 ` Steven Wurster
2004-04-29 17:43 ` Brian_Heilig
2004-04-23 16:22 ` Georg Bauhaus
2004-04-23 16:45 ` Hyman Rosen
2004-04-23 20:13 ` Georg Bauhaus
2004-04-23 21:18 ` Hyman Rosen
2004-04-24 10:33 ` Georg Bauhaus
2004-04-25 2:27 ` Hyman Rosen
2004-04-23 23:03 ` Brian_Heilig
2004-04-25 2:42 ` Hyman Rosen
2004-05-04 18:37 ` Dr Chaos
2004-05-05 11:58 ` Ged
2004-05-05 12:28 ` Thomas Gagné
2004-05-06 9:35 ` Ged [this message]
2004-04-24 0:10 ` Steven Wurster
2004-04-25 2:37 ` Hyman Rosen
2004-04-24 1:00 ` Brian_Heilig
2004-04-26 3:43 ` Berend de Boer
2004-04-26 4:17 ` Christopher Browne
2004-04-26 21:52 ` Berend de Boer
2004-05-04 4:14 ` Richard Riehle
2004-05-04 21:15 ` Berend de Boer
2004-04-28 19:53 ` Philippe Ribet
2004-04-29 8:32 ` Georg Bauhaus
2004-04-30 17:48 ` Philippe Ribet
2004-04-29 17:39 ` Brian_Heilig
[not found] ` <1402879.WneVss6BD6@linux1.krischik.com>
[not found] ` <ba03b545.0404300503.376243c8@posting.google.com>
[not found] ` <c6tk6v$amm$1@news.BelWue.DE>
2004-04-30 13:46 ` Preben Randhol
2004-04-30 19:30 ` Steven Wurster
2004-04-24 22:09 ` Thomas Gagné
2004-04-25 2:17 ` Hyman Rosen
2004-04-25 16:31 ` Alexander E. Kopilovich
2004-04-25 16:58 ` Isaac Gouy
2004-04-26 0:01 ` Cesar Rabak
2004-04-26 6:14 ` Isaac Gouy
2004-04-26 2:06 ` Thomas Gagné
2004-04-25 16:29 ` Alexander E. Kopilovich
2004-04-26 4:17 ` Christopher Browne
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox