From: Jim Weirich <jweirich@...>
Date: 2002-09-30T09:39:19+09:00
Subject: Re: thoughts on typelessness

>>>>> "Albert" == Albert Wagner <alwagner@tcac.net> writes:

    Albert> Just curious... Is there a strongly typed language that
    Albert> does NOT have the equivalent of casts and void pointers?

Depending upon your exact definition of cast and void pointer, Eiffel
would fit that bill.  

-- 
-- Jim Weirich     jweirich@one.net    http://w3.one.net/~jweirich
---------------------------------------------------------------------
"Beware of bugs in the above code; I have only proved it correct, 
not tried it." -- Donald Knuth (in a memo to Peter van Emde Boas)