Joe Armstrong 所说的“你根本不应该编写测试用例，你可以使用比愚蠢的旧测试用例更先进的技术”是指什么？
那些更先进的技术是什么？
此外，他甚至建议不要重用代码而是重写它。这与我的学校教给我的一切背道而驰。所以我想知道这句话背后的原因是什么。
【问题讨论】：
对于测试用例：做函数式编程的人倾向于鄙视单元测试。 Rich Hickey 引用了一段话，他将使用单元测试与依靠弹开护栏来保持在路上的汽车进行比较。他有一个观点，OO 企业代码是如此复杂和混乱，这几乎就是我们所做的。理论是，如果你的 FP 做得对，你应该主要编写小的纯函数，它们的作用是不言而喻的。在这种情况下，单元测试级别的测试不会增加太多。
（我不能肯定，但我不知道有什么可以让我认为 Armstrong 特别专注于证明程序的正确性。Erlang 没有编译时类型检查，这在我看来好像它会使证明正确性变得更加困难。）
对于 rewrite-not-reuse，我认为这个想法是，价值不在于软件，而在于您的理解。如果你重复使用很多，你可能会发现自己拼凑在一起，每一个都是你第一次尝试找出一些东西。每当我们第一次构建某些东西时，我们都不知道自己在做什么，如果幸运的话，它可能大部分都可以工作，但这几乎是垃圾。重写提供了建立联系和学习的机会，最好以新的眼光重新审视问题，并有机会创造出更清洁、更好的东西。
【讨论】：