动态类型 or 健壮代码？That's a question

拜读完毕。
delphi的Variant,OleVariant类型变量，它的方法调用不受编译器检查，是在运行时动态绑定。delphi对于javascript,python(python4delphi)的支持，都是利用这个语法特性实现的。
这种“动静结合”，感觉很好。

[修改过一次]

如果你玩的是Groovy,Jython,JRuby，就不存在健壮性的问题，拿ant编译一下，就类型健壮了。

类型系统的静态检查功能不是单元测试能够替代的。

健壮只是一个结果，动态类型语言当然可以开发出健壮的代码。

我们当然希望程序的正确性能够在不同的层面上得到约束，验证，而不是一古脑的推到单元测试那里。

看来比较一致的观点是虽然动态类型健壮性确实较弱，不过这是一个需要平衡的问题，大部分人认为通过单元测试来解决健壮性问题，不过也有不止一个人对于单元测试的有效性表示怀疑。

我对测试这个领域了解有限，一般认为单元测试在很大程度上起到了回归测试的作用（难道是回归测试的一种？），如果是这样，那么按照敏捷的观点──够用就行，如果代码的健壮性缺陷在单元测试中不能得到表现，是不是就可以认为我们目前还不需要考虑这个缺陷呢？