Re: OOP Language for OS Development

From: Thomas Gagné (tgagne_at_wide-open-west.com)
Date: 05/05/04 

Date: Wed, 05 May 2004 08:28:47 -0400

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? 

-- 
.tom
remove email address' dashes for replies
opensource middleware at <http://isectd.sourceforge.net>
<http://gagne.homedns.org/~tgagne/>

Relevant Pages

  • Re: OOP Language for OS Development
    ... >>Because in Eiffel its all about the contract. ... >>When the interface accepts paramaters to conform to T the objects ... The key difference between Eiffel and other statically type-checked ...
    (comp.object)
  • Re: OOP Language for OS Development
    ... >>Because in Eiffel its all about the contract. ... >>When the interface accepts paramaters to conform to T the objects ... The key difference between Eiffel and other statically type-checked ...
    (comp.lang.ada)
  • Re: OOP Language for OS Development
    ... >>Because in Eiffel its all about the contract. ... >>When the interface accepts paramaters to conform to T the objects ... The key difference between Eiffel and other statically type-checked ...
    (comp.lang.cpp)
  • Re: [Maybe OT] How to convince people about the importance of ANSI standards conformance ?
    ... > I am working on a legacy user space app, ... > partially conform to any standard. ... meaning the compiler and it's headers. ...
    (comp.lang.c)
  • Re: Which Visual C++?
    ... must come with a C compiler too. ... The list of conforming UNIX 03 implementations is growing, ... The "c99" command on MacOS 10.5 (the one that's claimed to conform to ...
    (comp.lang.c)