代数驱动设计

嗨你好啊。我的名字是Sandy Maguire，您可能从我的博客中认识我，我在那里写关于Haskell的类型级编程。

纯函数式编程的最大优点之一是其强大的抽象能力。我们自豪地宣称，我们的函数在引用上是透明的，正因为如此，我们的bug总是很浅的。这往往是正确的。

10倍经常被认为是一个神奇的数字，超过这个数字，技术就足够好，足以克服网络效应。我个人确信函数式编程比我尝试过的任何其他范例都要好10倍。但是，如果函数式编程这么好，为什么它还没有风靡全球呢？

这是一个非常严肃的问题。如果我们在这件事上是对的，为什么我们没有赢呢？

代数驱动设计是我对这个问题的回答。函数式编程没有占据市场份额，因为我们总体上还不知道如何用它编写真正的应用程序。抽象是我们语言的最大优势，但我们所有的最佳实践都倡导编写相同的过程代码，并使用与我们在其他任何地方相同的技术。

这本书不是放弃，而是鼓励我们把重点放在设计无泄漏的抽象上，充分理解程序，使代码和测试可以在很大程度上自动生成，并通过代数操作程序的基本方程式来寻找性能改进，而不是通过直觉。函数式编程为我们设计和测试更好的代码提供了如此多的新可能性，但这些信息在古代的期刊中是零散和丢失的。我想改变这一点。

有兴趣，但不确定是不是给你的？阅读前几章，看看你的想法！