From: mhm26@... (matt)
Date: 2003-02-15T06:53:11+09:00
Subject: Re: von Rossum on Strong vs. Weak Typing

> OCaml is a statically typed language with type inferencing.  It seems to
> be a cross between weak and strong typing.

The languages like ML/Haskell/OCaml are strongly typed - and that type
is statically checked.  Strong/weak doesn't have anything to do with
paremetric polymorphism (AFAIK).  It's more of a `different' typing. 
Curry vs. Church - see Lambda Calculi w/ Types, by Henk Barendregt.

~Me!