Haskell中的数据类型与类型声明

在Haskell中，数据类型用于定义变量和函数的类型。它们用于声明特定类型的值。数据类型可以是原始类型（如整数、字符等），也可以是自定义的复合类型（如列表、元组、记录等）。

Haskell中的数据类型声明有两种方式：显式声明和隐式推断。在显式声明中，我们明确指定变量或函数的类型。而在隐式推断中，Haskell通过上下文和表达式的结构自动推断类型。

下面我们将介绍一些常见的Haskell数据类型，并给出使用例子。

1. 布尔类型（Bool）：

布尔类型表示真或假。它有两个值：True（真）和False（假）。

使用例子：

   value1 :: Bool
   value1 = True

   value2 :: Bool
   value2 = False
   

2. 整数类型（Int）：

整数类型用于表示整数。它占用固定4字节内存，范围为[-2147483648, 2147483647]。

使用例子：

   value1 :: Int
   value1 = 42

   value2 :: Int
   value2 = -10
   

3. 字符类型（Char）：

字符类型用于表示单个字符。

使用例子：

   value1 :: Char
   value1 = 'A'

   value2 :: Char
   value2 = 'z'
   

4. 浮点类型（Float）：

浮点类型用于表示带小数部分的数值。

使用例子：

   value1 :: Float
   value1 = 3.14

   value2 :: Float
   value2 = -0.5
   

5. 双精度浮点类型（Double）：

双精度浮点类型用于表示更高精度的带小数部分的数值。

使用例子：

   value1 :: Double
   value1 = 3.14159265359

   value2 :: Double
   value2 = -0.123456789
   

6. 字符串类型（String）：

字符串类型用于表示一组字符。

使用例子：

   value1 :: String
   value1 = "Hello, World!"

   value2 :: String
   value2 = "This is a string."
   

7. 列表类型（List）：

列表类型用于表示一组具有相同类型的值。它可以包含任意多个元素，并用方括号括起来。列表的元素可以是任意类型。

使用例子：

   value1 :: [Int]
   value1 = [1, 2, 3, 4, 5]

   value2 :: [Float]
   value2 = [3.14, 2.718, 1.414, 0.577]
   

8. 元组类型（Tuple）：

元组类型用于将多个值组合成一个值。元组的长度是固定的，且每个元素可以有不同的类型。

使用例子：

   value1 :: (Int, Char)
   value1 = (42, 'A')

   value2 :: (String, Float, Bool)
   value2 = ("Haskell", 3.14, True)
   

9. 自定义类型（type）：

我们还可以使用关键字type来创建自定义的数据类型，并给定它的类型别名。这样有助于提高代码的可读性和抽象性。

使用例子：

   type Age = Int
   type Name = String

   person :: (Name, Age)
   person = ("John Doe", 25)
   

以上是一些Haskell中常见的数据类型和它们的类型声明的例子。这些例子涵盖了布尔类型、整数类型、字符类型、浮点类型、双精度浮点类型、字符串类型、列表类型、元组类型和自定义类型。这些数据类型和类型声明使得我们可以根据特定需求定义和操作不同类型的值和数据结构。