comp.lang.ada
 help / color / mirror / Atom feed
From: Gautier <gautier.demontmollin@maths.unine.ch>
Subject: Re: Dummy
Date: 2000/02/03
Date: 2000-02-03T00:00:00+00:00	[thread overview]
Message-ID: <38999F78.C17BAA7D@maths.unine.ch> (raw)
In-Reply-To: t7d7qe2xab.fsf@calumny.jyacc.com

> Java casts are always perfectly safe. Casts between object types are
> akin to C++'s dynamic_cast<T>, in that they are type-checked at runtime
                                                  ^^^^^^^^^^^^^^^^^^^^^^^
Cultural questions: isn't it a redhibitory source of slowndowns ?! Is there
a mean to make such type checking at compile time in Java ?...

> and will fail if the cast is not valid.


-- 
Gautier

_____\\________________\_______\
http://members.xoom.com/gdemont/




  reply	other threads:[~2000-02-03  0:00 UTC|newest]

Thread overview: 20+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2000-02-02  0:00 Dummy Simic_10111
     [not found] ` <3898C380.BC01EC03@earthlink.net>
2000-02-03  0:00   ` Dummy Hyman Rosen
2000-02-03  0:00     ` Gautier [this message]
2000-02-03  0:00       ` Dummy Hyman Rosen
2000-02-03  0:00     ` Dummy Larry Kilgallen
2000-02-03  0:00       ` Dummy Hyman Rosen
2000-02-03  0:00         ` Dummy Larry Kilgallen
2000-02-03  0:00     ` Dummy Tucker Taft
2000-02-04  0:00       ` Dummy Florian Weimer
2000-02-04  0:00         ` Dummy Robert A Duff
2000-02-05  0:00           ` Dummy Jean-Pierre Rosen
2000-02-10  0:00             ` Dummy Geoff Bull
2000-02-07  0:00         ` Dummy Hyman Rosen
2000-02-07  0:00           ` Dummy Florian Weimer
2000-02-07  0:00             ` Dummy Hyman Rosen
2000-02-04  0:00       ` Dummy Robert A Duff
     [not found] ` <389c50a6.14707859@news.flash.net>
2000-02-04  0:00   ` Dummy Marin D. Condic
  -- strict thread matches above, loose matches on Subject: below --
2000-01-11  0:00 Dummy Simic_10111
2000-01-11  0:00 ` Dummy Ehud Lamm
2000-01-11  0:00 ` Dummy Gautier
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox