Paul Brannan <pbrannan / atdesk.com> writes:

> On Fri, Feb 14, 2003 at 07:27:10PM +0900, Marcin 'Qrczak' Kowalczyk wrote:
>
>> For a stronyly statically typed languages, look at Haskell or
>> OCaml.  There you almost never must escape the type system because
>> they are more expressive.
>
> OCaml is a statically typed language with type inferencing.  It
> seems to be a cross between weak and strong typing.

Type inferencing doesn't mean the types aren't fully checked at
compile time.  Weak typing implies a bit of run time type checking,
which OCaml doesn't do.

-- 
matt