19、Haskell 入门：Day 1 学习指南

Haskell 入门：Day 1 学习指南

1. Haskell 简介

Haskell 对于许多函数式编程纯粹主义者来说，代表着纯粹和自由。它功能丰富且强大，但这种强大也伴随着一定的学习成本。与 Scala、Erlang 和 Clojure 不同，Haskell 不允许使用命令式概念，它是一种纯粹的函数式语言。

Haskell 的发展历程可以追溯到 20 世纪 80 年代中期，当时纯粹的函数式编程分散在多种语言中。1987 年，一群人决定为纯粹的函数式语言制定一个开放标准，Haskell 于 1990 年诞生，并在 1998 年进行了修订，当前的标准是 Haskell 98。

Haskell 具有强静态类型，类型模型大多是推断出来的，被广泛认为是函数式语言中最有效的类型系统之一。它支持多态性和简洁的设计，还允许使用 Erlang 风格的模式匹配和守卫，以及 Clojure 风格的惰性求值和列表推导式。

作为纯粹的函数式语言，Haskell 没有副作用，函数可以返回副作用，后续再执行。在接下来的几天里，我们将学习典型的函数式编程概念，如表达式、定义函数、高阶函数等，还会深入了解 Haskell 的类型模型。

2. Day 1：逻辑基础

在 Day 1 中，我们将使用 Glasgow Haskell Compiler（GHC）版本 6.12.1 进行学习。首先，在控制台中输入 ghci 启动 Haskell 环境：

GHCi, version 6.12.1: http://www.haskell.org/