On Sunday 30 January 2005 06:55 am, Martin DeMello wrote:
> Jim Weirich <jim / weirichhouse.org> wrote:
> > Few languages are strongly typed according to the first definition.
> > Java is close, Eiffel is even closer, but both rely on runtime type
> > checking to some degree.
>
> I think Haskell's type checking is purely static.

I suspect you are correct.  However, I don't know enough Haskell to say for 
sure.  Haskell (and its near relatives) are the main reason I chose the word 
"few" rather than "no"

-- 
-- Jim Weirich    jim / weirichhouse.org     http://onestepback.org
-----------------------------------------------------------------
"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)