groovy – 鸭式打字与静态打字有什么优势？

以这种方式思考：任何程序是正确的，如果语言是静态类型的，将是正确的。什么静态打字是让编译器有足够的信息在编译时检测类型不匹配，而不是运行时。如果您在进行渐进式编程时，可能会感到烦恼，虽然(我保持)如果您正在清楚您的程序，这并不重要;另一方面，如果您正在建立一个非常大的程序，如操作系统或电话交换机，数十或数千名上班的人员，或具有非常高的可靠性要求，那么他的编译器能够为您检测大量的问题，而无需测试用例来运行正确的代码路径。

动态打字不是一个新的不同的东西：C，例如，是有效的动态类型，因为我总是可以把一个foo *放到一个吧*。这只是意味着我的责任是C程序员从来没有使用适合于酒吧*的代码，当地址真的指向一个foo *时。但是由于大型程序的问题，C增长了lint(1)这样的工具，通过typedef来强化其类型系统，最终在C中开发出一种强类型的变体。 (而且，当然，C反过来又开发出强大的打字方式，所有的各种各样的cast和泛型/模板以及RTTI。

另一件事，虽然—不要将“敏捷编程”与“动态语言”混淆。 Agile programming是关于人们在项目中一起工作的方式：项目能否适应不断变化的需求，以满足客户的需求，同时为程序员保持人性化的环境？它可以用动态类型语言完成，而且通常是因为它们可以更有效率(例如Ruby，Smalltalk)，但是可以在C甚至汇编器中成功完成。事实上，Rally Development甚至使用敏捷方法(特别是SCRUM)做营销和文档。