I have a hard time imagining that TCL would not have the same problem that PHP, Python and JavaScript have with types. If you're trying to add a string and a number, the language has to either throw an error or implicitly turn that into concatenation, propagating the string to more expressions that expected a number. At a cursory glance, it looks like TCL throws an error.

In that case, I can't imagine writing any significant amount of TCL and not having reached a point where you have a runtime error that would have been prevented had you had a static type system.

Am I missing something?