21、Haskell学习第三天：深入类型系统、类与单子

Haskell学习第三天：深入类型系统、类与单子

1. 前置问题与挑战

在深入学习Haskell之前，有一些有趣的问题等待我们去解决：
- 使用部分应用函数定义一个返回数字一半的函数，以及一个在任意字符串末尾添加 \n 的函数。
- 编写一个函数来确定两个整数的最大公约数。
- 创建一个质数的惰性序列。
- 在合适的单词边界处将长字符串拆分为单独的行。
- 为上一个练习的每行添加行号。
- 为上述练习添加左对齐、右对齐和两端对齐文本的函数。

2. Haskell类型系统的魅力

Haskell的类型系统是其最强大的特性之一，具有类型推断功能，能减轻程序员的负担，还能捕捉到细微的编程错误，并且支持多态性。

2.1 基本类型

我们可以在shell中开启类型选项来查看不同语句返回的类型：

Prelude> :set +t
Prelude> 'c'
'c'
it :: Char
Prelude> "abc"
"abc"
it :: [Char]
Prelude> ['a', 'b', 'c']
"abc"
it :: [Char]
Prelude> "abc" == ['a', 'b', 'c']
True
Prelude> True
True
it :: Bool
Prelude> False
False
it :: Bool

在Haskell中，字符是基本类型，字符串是字符数组，不同表示方