unit-testing - Joe Armstrong 在 "there are more advanced techniques"中引用了什么进行单元测试

Question

Joe Armstrong 所说的“你根本不应该编写测试用例，你可以使用比愚蠢的旧测试用例更先进的技术”是什么意思？
那些更高级的技术是什么？
来源:A Guide for the Perplexed
此外，他甚至建议不要重用代码，而是重写它。这与我学校教给我的一切背道而驰。所以我想知道这个声明背后的原因是什么。

Answer 1

对于测试用例:做函数式编程的人有一种鄙视单元测试的倾向。 Rich Hickey 引用了一句名言，他将使用单元测试比作汽车依靠从护栏上弹起才能继续行驶。他有一个观点，OO 企业代码是如此复杂和凌乱，这几乎就是我们所做的。理论是，如果你正确地做 FP，你应该主要编写小的纯函数，它们的作用是不言而喻的。在这种情况下，在单元测试级别进行测试不会增加太多。
(我不能肯定，但我不知道有什么让我认为 Armstrong 特别专注于证明程序的正确性。Erlang 没有编译时类型检查，这在我看来就像使证明正确性更难。)
对于 rewrite-not-reuse，我认为这个想法是，值(value)不在于软件，而在于你的理解。如果您多次重复使用，您可能会发现自己将每件作品拼凑在一起，而每件作品都是您第一次尝试解决问题。每当我们第一次构建某些东西时，我们都不知道我们在做什么，如果幸运的话，它可能大部分都有效，但这几乎是废话。重写提供了建立联系和学习的机会，最好以新的眼光重新审视问题，并有机会创造更清洁、更好的东西。