我一直致力于研究静态类型语言（C/C++、Java）。我一直在玩 Clojure，我真的很喜欢它。
我担心的一件事是：假设我有一个将 3 个模块作为参数的窗口，并且随着需求的变化，我需要将另一个模块传递给函数。我只是更改了函数，编译器在我使用它的任何地方都会抱怨。但是在 Clojure 中，直到调用该函数时它才会抱怨。我可以进行正则表达式搜索和替换，但似乎有机会错过一个呼叫，并且在实际调用该函数之前它会被忽视。大家是怎么处理的呢？
【问题讨论】：
标签： java c++ ruby clojure type-systems
这是自动化测试/测试驱动开发在动态类型语言中更为重要的原因之一。我没有用过 Clojure（我主要使用 Ruby），所以很遗憾我不能推荐一个具体的测试框架。
【讨论】：
第一件事我想提一下，Bruce Eckel 写了一篇非常有趣的文章，名为 Strong Typing vs Strong Testing（不幸的是，该链接目前已关闭，但希望它会上线很快）。
他的想法是，在处理编译语言时，编译器只是充当自动测试的第一步。当转向动态语言时，您将失去第一级自动测试。但在这两种情况下，第一个自动级别只是测试的一部分，甚至不是非常重要的部分。
他的观点是，如果您正在正确地开发程序，即进行某种形式的测试和回归测试，那么缺少编译器只会迫使您添加更多的，有些基本的测试，这就是为什么它不大损失。
所以我想我给你的第一个答案是，专注于你的测试，这是你无论如何都应该做的事情，这样的改变不应该对你造成太大影响。
第二件事我想提一下的是，我见过的许多动态语言（例如 Python）具有更好的能力，可以在不破坏现有代码的情况下更改方法/类的功能。
例如，在 Python 中，如果您的方法过去接受两个参数，但现在需要第三个参数，则您始终可以添加一个默认参数而不会破坏任何现有代码，但您现在可以使用该参数。这是一种非常基本的技术，但在 Python 的情况下（我假设大多数其他动态语言也是如此），这些技术会变得更加有趣；由于它们是动态的，您几乎可以更改特定模块的函数实现，更改变量的含义等。
我建议看看 Clojure 有哪些技术可以实现类似的事情，并确定它们是否适用于您的情况。
【讨论】：
如果该方法是您不是唯一用户的公共接口的一部分，则您会执行相同的操作。
您添加一个带有额外模块的新方法，并更改旧方法以使用合适的默认值调用新方法。
哦，如果你的程序那么大，请确保你有良好的测试（test-is 应该比 Java 更简单）
【讨论】：
测试覆盖率绝对重要。但是动态类型的语言将允许您以不同的方式工作。在强类型语言（如 Java）中，接口的更改需要修改所有调用者。在 Ruby 中，您可以这样做——但可能不会。相反，您可能会以几种方式之一为该方法添加灵活性。即：
【讨论】：
Clojure 中并非完全没有编译器支持。在您给出的具体示例中，改变的是函数的数量，这将通过编译 Clojure 代码来获取。我仍在进行强 -> 动态类型转换，并觉得这很令人欣慰！
【讨论】：
当您迁移到动态语言时，您会失去一定程度的重构和类型安全性。编译器拥有的信息越多，它在编译时能为你做的事情就越多。
【讨论】：
如果你真的需要静态类型，你可以使用https://github.com/clojure/core.typed，它是 leiningen 模块来测试静态变量的传递。
【讨论】：