Strong vs. weak typing

I like strong typing but don't like weak typing because I would rather that the compiler find my bugs. A point in the middle is type inference.

http://beust.com/weblog/archives/000333.html

A co-worker pointed out that some languages allow a variable to be declared as strong or weak and that sounds like it would be the best of both worlds.