Who needs functional programming...

... when C has function pointers?

>>31

weak typing is when values have types but the language inserts all sorts of implicit conversions

This is a redefinition by "scripting language" programmers to distinguish their language from Perl, not the original meaning of the term.
Weak means types can be lost or thrown away. Period.

C's ability to cast to *void is 1) explicit

It is implicit, which is one of the incompatibilities with C++.
Besides, explicit and implicit have nothing to do with strong or weak typing at all. Even Coq has implicit conversions and nobody would say it isn't strongly typed.

2) defeats the very point of types.

From a strongly typed point of view, the only type C has is unsigned char. (This might help you understand the difference between strong and weak types.)

This means it ultimately has no types, neither weak ones nor strong ones.

Close, but it only has one type: unsigned char.

Nope, at least not completely strongly typed

It's impossible to throw away the type of a value. They have no conversions either (since they have only one strong type, that's absurd). The "conversions" are really a dispatch hidden inside the built-in operators.