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,2c6139ce13be9980
X-Google-Attributes: gidfac41,public
X-Google-Thread: f43e6,2c6139ce13be9980
X-Google-Attributes: gidf43e6,public
X-Google-Thread: 103376,3d3f20d31be1c33a
X-Google-Attributes: gid103376,public
X-Google-Thread: 1108a1,2c6139ce13be9980
X-Google-Attributes: gid1108a1,public
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Interface/Implementation (was Re: Design by Contract)
Date: 1997/09/08
Message-ID: <dewar.873754368@merv>#1/1
X-Deja-AN: 270805775
References: <340F3801.47E5@pseserv3.fw.hac.com> <EG0upp.Irq@syd.csa.com.au>
Organization: New York University
Newsgroups: comp.object,comp.software-eng,comp.lang.ada,comp.lang.eiffel
Date: 1997-09-08T00:00:00+00:00
List-Id: <comp.lang.ada>


<<:The spec may be ordered to make things easy for the client to read.
:The body may be ordered to make the implementation easy to understand.

With Eiffel, you have both and ordering is preserved.>>

That's rather confused, in Eiffel you have to use the same ordering 
effectively for the spec and the body. The whole point of the above is
that may have different ordering requirements. Eiffel does not accomodate
this, and the best defence is that people don't think they need it -- fine,
most C programmers don't think they need strong typing -- you seldom 
find that you absolutely need something you can't get!