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.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 109fba,e0a59694a441eb7b X-Google-Thread: 103376,e0a59694a441eb7b X-Google-Thread: fac41,e0a59694a441eb7b X-Google-Thread: 1108a1,e0a59694a441eb7b X-Google-Attributes: gid109fba,gid103376,gidfac41,gid1108a1,public Path: controlnews3.google.com!news1.google.com!news.glorb.com!news3.optonline.net!feed3.newsreader.com!newsreader.com!border2.nntp.ash.giganews.com!border1.nntp.ash.giganews.com!nntp.giganews.com!local1.nntp.ash.giganews.com!nntp.wideopenwest.com!news.wideopenwest.com.POSTED!not-for-mail NNTP-Posting-Date: Wed, 05 May 2004 07:28:52 -0500 Date: Wed, 05 May 2004 08:28:47 -0400 From: =?ISO-8859-1?Q?Thomas_Gagn=E9?= User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.6) Gecko/20040113 X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.c++,comp.lang.ada,comp.lang.eiffel,comp.object Subject: Re: OOP Language for OS Development References: <95db0572.0404142153.431fd058@posting.google.com> <566e2bfb.0404181753.2844342f@posting.google.com> <4088D574.2020503@tele2.fr> <1082738747.300309@master.nyc.kbcfp.com> <3AFic.17011$eK3.5247@nwrdny01.gnilink.net> <1a81ad90.0405050358.b1115f6@posting.google.com> In-Reply-To: <1a81ad90.0405050358.b1115f6@posting.google.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Message-ID: NNTP-Posting-Host: 69.14.16.39 X-Trace: sv3-mA2L/e5baDkIMdMSLqoD6uijvaw3sbgyHxHd53LzkCkrAem4cIXmpWT061VHyczYK+9cg7zaAVGy0KD!kpTnQuh4+uvMg4qnZ4CTOgQ+Zpcyl11YDRAgvey6Qsq8BfIsE8dFq1QVJvexggne9/G3If6nWwTO!z5TvI4n8x0+5ULyNnpXYVa5P+b0= X-Complaints-To: abuse@wideopenwest.com X-DMCA-Complaints-To: abuse@wideopenwest.com X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.1 Xref: controlnews3.google.com comp.lang.c++:1646 comp.lang.ada:274 comp.lang.eiffel:79 comp.object:775 Date: 2004-05-05T08:28:47-04:00 List-Id: Ged wrote: >Hyman Rosen 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