在Haskell中创建自定义数据类型和类型别名

在Haskell中，我们可以使用data关键字创建自定义的数据类型。数据类型可以是简单的枚举类型（Enum），也可以是复杂的代数数据类型（Algebraic Data Types）。让我们看几个例子：

1. 枚举类型（Enum）：

data Gender = Male | Female | Unknown deriving (Show, Eq)

displayGender :: Gender -> String
displayGender Male = "Male"
displayGender Female = "Female"
displayGender Unknown = "Unknown"

在上面的例子中，我们创建了一个名为Gender的枚举类型，它有三个可能的值：Male、Female和Unknown。我们还定义了一个函数displayGender，它将Gender类型的值转换为字符串。

使用示例：

gender1 = Male
gender2 = Female
gender3 = Unknown

main :: IO ()
main = do
  putStrLn $ "Gender 1: " ++ displayGender gender1
  putStrLn $ "Gender 2: " ++ displayGender gender2
  putStrLn $ "Gender 3: " ++ displayGender gender3

输出：

Gender 1: Male
Gender 2: Female
Gender 3: Unknown

2. 代数数据类型（Algebraic Data Types）：

data Shape = Circle Float | Rectangle Float Float deriving (Show)

area :: Shape -> Float
area (Circle r) = 3.14159 * r * r
area (Rectangle l w) = l * w

在上面的例子中，我们创建了一个名为Shape的数据类型，它有两个可能的值：Circle和Rectangle。Circle的构造函数接受一个Float类型的半径参数，而Rectangle的构造函数接受两个Float类型的参数，分别表示长和宽。我们还定义了一个area函数，它接受一个Shape类型的参数，并根据不同的形状计算面积。

使用示例：

shape1 = Circle 2.0
shape2 = Rectangle 3.0 4.0

main :: IO ()
main = do
  putStrLn $ "Area of shape 1: " ++ show (area shape1)
  putStrLn $ "Area of shape 2: " ++ show (area shape2)

输出：

Area of shape 1: 12.56636
Area of shape 2: 12.0

此外，我们还可以使用type关键字创建类型别名，例如：

type Point = (Float, Float)

distance :: Point -> Point -> Float
distance (x1, y1) (x2, y2) = sqrt ((x1 - x2) ^ 2 + (y1 - y2) ^ 2)

在上面的例子中，我们创建了一个Point类型的别名，它实际上是一个由两个Float类型的值组成的二元组。我们还定义了一个distance函数，它接受两个Point类型的参数，并计算它们之间的距离。

使用示例：

point1 = (1.0, 2.0)
point2 = (3.0, 4.0)

main :: IO ()
main = do
  putStrLn $ "Distance between point 1 and point 2: " ++ show (distance point1 point2)

输出：

Distance between point 1 and point 2: 2.828427

总结：在Haskell中，我们可以使用data关键字创建自定义的数据类型，可以是简单的枚举类型或复杂的代数数据类型。我们还可以使用type关键字创建类型别名，以提高代码可读性和可维护性。以上是一些创建自定义数据类型和类型别名的示例和使用方法。