Static typing versus design-by-contract

“Static typing” is essentially very inexpressive “design by contract”. I guess I’ve known that, but Monday I started thinking about that. Perhaps, static typing is redundant if you have pre-conditions, post-conditions, and invariants that can be checked with static analysis. (Not necessarily at compile-time, but not at run-time.)