From: Ehud Lamm <mslamm@mscc.huji.ac.il>
Subject: Re: OO puzzle
Date: 1999/12/25
Date: 1999-12-25T00:00:00+00:00 [thread overview]
Message-ID: <84204e$hd9$1@nnrp1.deja.com> (raw)
In-Reply-To: 83t2vt$arh$1@nnrp1.deja.com
In article <83t2vt$arh$1@nnrp1.deja.com>,
Ehud Lamm <mslamm@mscc.huji.ac.il> wrote:
> Suupose I have a routine that receives a class wide type. Inside I
> expicitly convert and treat it as some specific type.
> If I pass an actual paramter that is class-wide (access object'class)
> than, obviously, the valdity of the conversion can only be checked at
> run time.
> However if I pass a specific, and incompatible type - we can imagine a
> compiler flagging the conversion as raising an exception. whether we
> design a language to do this checking, and disallow such calls is,
> naturally, a deisgn choice. But as opposed to the first example - this
> checking seems possible to do (at least in limited cases like this).
>
Just ot clarify myeself. This issue, is conneted with the issue
of "seperate compilation" Indeed the "system validity" of Eiffel is
exactly the checks that are not (class) local.
--
Ehud Lamm mslamm@mscc.huji.ac.il
http://purl.oclc.org/NET/ehudlamm
Check it out and subscribe to the E-List
Sent via Deja.com http://www.deja.com/
Before you buy.
next prev parent reply other threads:[~1999-12-25 0:00 UTC|newest]
Thread overview: 21+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-12-22 0:00 OO puzzle Ehud Lamm
1999-12-22 0:00 ` Ted Dennison
1999-12-23 0:00 ` Ehud Lamm
1999-12-23 0:00 ` Ted Dennison
1999-12-25 0:00 ` Ehud Lamm
1999-12-23 0:00 ` Robert A Duff
1999-12-25 0:00 ` Ehud Lamm
1999-12-22 0:00 ` Jeff Carter
1999-12-22 0:00 ` Tucker Taft
1999-12-23 0:00 ` Ehud Lamm
1999-12-23 0:00 ` Robert Dewar
1999-12-23 0:00 ` Ehud Lamm
1999-12-24 0:00 ` swhalen
1999-12-25 0:00 ` Ehud Lamm
1999-12-25 0:00 ` Ehud Lamm [this message]
1999-12-29 0:00 ` Brian Rogoff
1999-12-30 0:00 ` Jeffrey L Straszheim
1999-12-31 0:00 ` Brian Rogoff
1999-12-31 0:00 ` Jeffrey L Straszheim
2000-01-02 0:00 ` Brian Rogoff
2000-01-03 0:00 ` Matthew Heaney
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox