From: Paul Brannan <pbrannan@...>
Date: 2003-02-14T23:52:42+09:00
Subject: Re: von Rossum on Strong vs. Weak Typing

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.

Paul