Real World Haskell - Preface

 

 

 

 

Preface

 

 

Have We Got a Deal for You!

 

Haskell 是一门很有深度的语言；我们认为学习Haskell 是一种极有价值的体验。我们主要关注三个方面。第一是新颖：我们鼓励（invite）你从一种不同的而且有价值的观点思考编程。第二是性能：我们将向你展示如何编写简短，快速并且安全的软件。最后，我们给你准备了许多乐趣：应用漂亮的编程技术去解决真实问题。

 

 

Novelty

 

Haskell 或许与你以前使用过的语言有相当大的不同。相对于通常的概念，函数编程给我们提供了一种极为不同的思考软件的方法。

 

Haskell 中，我们将那些会修改数据的代码的关注减到最小。相反地，我们将焦点转移到这样的函数上来：它们以不可修改的值作为输入，并且产生新的值作为输出。相同的输入总是产生相同的输出，这是函数式编程的核心思想。

 

Haskell 函数除了取得输入与返回输出外不与外部世界交互；我们称这样的函数为纯函数。纯代码和那些读写文件、进行网络通信，或移动机器手臂的代码之间有巨大的不同。这使得组织，理解，测试我们的程序变得容易。

 

我们将抛弃那些可能看起来很基础的ideas，例如语言内置的for 循环。我们有其它更灵活的方法来执行重复性的任务。

 

甚至在Haskell 中表达式赋值的方式也是不同的。我们推迟(defer)所有计算，直到确确实实真的需要结果时我们才去计算表达式的值——Haskell 是惰性语言，这一点将深刻地影响我们如何写程序。

 

 

Power

 

贯穿全书地，我们将向你展示Haskell 中那些对应于传统语言特性的替代品是如何产生(lead to)高效，灵活，可靠代码。Haskell 充满了如何创建卓越软件的顶尖ideas。

 

因为纯代码除了取得输入与返回输出外不与外部世界交互，并且永远不会修改自已处理的数据，所以那种以不可见的方式损坏数据的惊人代码是非常罕见的。在我们使用纯函数的上下文中，函数的行为是始终如一的。

 

纯代码比那些与外界交互的代码更容易测试。

 

Lazy evaluation 有其“怪异”之处。假设我们要从一个列表中找出k 个最小元素，传统语言中显而易见的做法是将列表整个排序，然后选出前K 个元素，但是这样做代价较高。高效的做法是，我们写一个特殊的函数，在一次传参操作中这个函数获得全部这些值，然后此函数会执行一些稍复杂的bookkeeping 操作。Haskell 中用排序然后取元素的方法实际上工作得很好：laziness 保证仅将列表排序到足够找出K 个最小元素的程度，不做多余的排序。

 

从一个List 中找出k 个最小元素的小巧高效方法

 

-- file: ch00/KMinima.hs

-- lines beginning with "--" are comments.

minima k xs = take k (sort xs)

 

这段代码使用了标准库。

 

 

Enjoyment

 

因为Haskell 与传统语言有极大的不同，所以要掌握这门语言本身和函数编程技术需要大量思考和练习。

 

 

What to Expect from This Book

 

使用QuickCheck 库生成自动测试用例

 

 

What to Expect from Haskell

 

鼓励使用pure，lazy 风格，但不是唯一选择。Haskell 也支持传统语言的一些特性。

 

 

Compared to Traditional Static Languages

 

有时，Haskell 程序比类似的C/C++ 程序要慢，Haskell 在生产力和可靠性上有大量优点，这些优点比起不大的性能损失重要得多。

 

多核处理器已经普及，但是其基于传统编程语言仍然难以编程。Haskell 拥有独一无二的技术使得多核程序易于驾驭，它支持并行编程，提供了software

transactional memory 支持灵活并发。

 

 

Compared to Modern Dynamic Languages

 

过去十年，动态类型，解释性语言变得越来越流行，使开发者在生产力上获得了实质上的利益。尽管这种获益常伴随着巨大的性能开销，但是在许多任务中性能因素的影响是不成问题的。

 

Hakell 和动态类型语言的相似之处是简短：解决样的问题我们可以写比传统语言更短的代码。通常haskell 和动态语言的size 是一样的。

 

Haskell 几乎总是拥有巨大的运行时性能上的优势。

 

GHC(Glasgow Haskell Compiler) 也有一个解释器，可以不用编译的运行脚本。

 

当然，我们，作者们，我们喜欢动态语言，仍然每天使用动态语言，但是我们更喜欢Haskell。