A huge difference is that these languages doesn't force you to use type checking everywhere. You can use just in the more complex pieces of you source code. It

A huge difference is that these languages doesn't force you to use type checking everywhere. You can use just in the more complex pieces of you source code. It would be nice to see how tools, like refactoring, would handle it.