21、Haskell编程：类型、类与单子的深度探索

Haskell编程：类型、类与单子的深度探索

1. 编程任务概述

在Haskell编程中，有一些有趣的任务值得尝试：
- 创建一个惰性的素数序列。
- 在合适的单词边界处将长字符串拆分为单独的行。
- 为上述拆分后的行添加行号。
- 为添加行号后的文本添加左对齐、右对齐和两端对齐的功能。

2. Haskell类型系统的魅力

Haskell的类型系统是其强大特性之一。它具有类型推断功能，这意味着程序员无需承担过多类型声明的责任。同时，它足够健壮，能够捕捉到细微的编程错误。而且，它支持多态性，允许对同一类型的不同形式进行相同处理。

2.1 基本类型

我们先来回顾一些基本类型。在Haskell的shell中，我们可以通过以下命令开启类型显示选项：

Prelude> :set +t

然后，我们可以尝试一些字符和字符串操作，查看它们的类型：

Prelude> 'c'
'c'
it :: Char
Prelude> "abc"
"abc"
it :: [Char]
Prelude> ['a', 'b', 'c']
"abc"
it :: [Char]

在Haskell中，字符是基本类型，而字符串是字符数组。无论使用数组还是双引号表示字符数组，其值在Haskell中是相同的：