From: Paul Brannan <pbrannan@...>
Date: 2003-02-15T04:18:57+09:00
Subject: Re: von Rossum on Strong vs. Weak Typing

On Sat, Feb 15, 2003 at 01:05:19AM +0900, Matt Armstrong wrote:
> 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.

C is weakly typed, but it does not do run-time type checking.

Paul