From: Martin DeMello <martindemello@...>
Date: 2005-01-30T20:55:50+09:00
Subject: Re: Ten Things Every Java Programmer Should Know About Ruby

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.

martin