JOOP letter on Eiffel type checking

Article View: comp.lang.eiffel

Article #1608

#1608

From: Bruce Mount 572-8408
Date: Fri, 23 Feb 1990 17:22

22 lines
1443 bytes

In the current JOOP (Jan/Feb 1990, page 10), Hans-Stephan Jansohn questions 
the type-checking ability of Eiffel in a detailed letter to the editor.

Briefly, he shows a code example that circumvents Eiffel's type-checking
by redefining a function in a descendant class and then accessing that
function via polymorphism.

I, to my extreme chagrin, do not have access to an Eiffel system.

     1.  Has anyone tried Jansohn's example?
     2.  If so, is his point valid?
     3.  If valid, are there workarounds?
     4.  Is this IS a problem, will it be addressed by 3.0 (hello ISE)?

Feel free to contact me for details, if needed.  I would be happy to summarize
responses to the net.

=================================================
| Bruce Mount                 "Brevity is best" |
| bruce@atria.gsfc.nasa.gov                     |
=================================================

Technical Details

Message-ID: <2829@umbc3.UMBC.EDU>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!uakari.primate.wisc.edu!uflorida!haven!umbc3!menkar!bruce

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!uakari.primate.wisc.edu!uflorida!haven!umbc3!menkar!bruce
From: bruce@menkar.gsfc.nasa.gov (Bruce Mount 572-8408)
Newsgroups: comp.lang.eiffel
Subject: JOOP letter on Eiffel type checking
Message-ID: <2829@umbc3.UMBC.EDU>
Date: 23 Feb 90 17:22:22 GMT
Sender: newspost@umbc3.UMBC.EDU
Reply-To: bruce@menkar.nas.nasa.gov (Bruce Mount 572-8408)
Distribution: comp.lang.eiffel
Organization: NASA Goddard Space Flight Center
Lines: 22