20、Haskell学习之旅：类型、类与单子的深入探索

Haskell学习之旅：类型、类与单子的深入探索

1. 引言

在Haskell的学习中，我们将深入探讨三个重要概念：类型、类和单子。这些概念是Haskell语言的核心，理解它们对于掌握Haskell编程至关重要。

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中，字符是基本类型，字符串是字符数组，无论用数组还是双引号表示，其值是相同的。

2.2 用户自定义类型

我们可以使用 data 关键字定义自己的数据类型。例如，布尔类型可以这样定义：