From: Dan Sugalski <dan@...>
Date: 2003-02-15T05:21:53+09:00
Subject: Re: von Rossum on Strong vs. Weak Typing

At 4:18 AM +0900 2/15/03, Paul Brannan wrote:
>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.

I dunno, C lives outside the set of languages that really care about 
strong or weak typing. If you really need to find its place in the 
dichotomy, it's a strongly typed language that lets you lie to it. 
(That it only really has three types is a separate issue, of 
course...)
-- 
                                         Dan

--------------------------------------"it's like this"-------------------
Dan Sugalski                          even samurai
dan@sidhe.org                         have teddy bears and even
                                       teddy bears get drunk